직접 움직이고 그리며 확인하기

‘회의실이나 온라인으로 참여’에서 회의실을 골랐으면 온라인은 금지일까?

포함적·배타적 ‘또는’과 직접 확인한 사실을 바꾸어 가능한 참·거짓 조합, 모순과 필연적으로 따라오는 결론을 다시 계산합니다.

실습 길잡이 · 오답을 고치는 논리 연습 10 · 관계로 추론 · 약 24분 · LTCT 교육자료 ·

일상어 ‘또는’은 둘 다 가능한 뜻과 정확히 하나만 가능한 뜻으로 쓰일 수 있습니다. 규칙의 뜻을 확인하지 않고 한 선택이 참이라는 사실만으로 다른 선택을 거짓이라고 하면, 둘 다 참인 반례를 놓칠 수 있습니다.

1. 포함적 또는의 진리표를 먼저 씁니다

포함적 선언 A∨B는 A와 B가 둘 다 거짓일 때만 거짓입니다. A만 참, B만 참, 둘 다 참인 세 경우가 규칙을 만족합니다.

forall x: Calgary는 논리 기호 ∨가 항상 포함적 ‘또는’를 나타낸다고 설명합니다. 따라서 회의실 참여가 참이어도 온라인 참여는 참일 수도, 거짓일 수도 있습니다.

2. 배타적 또는는 별도 조건입니다

배타적 또는는 정확히 하나만 참이어야 하므로 둘 다 참인 경우를 제외합니다. 자연어에서 ‘둘 중 하나만’, ‘한 방식만 선택’ 같은 조건이 있거나 운영 규칙이 중복 참여를 금지할 때 이 뜻이 명시됩니다.

같은 교재는 영어 ‘or’가 때로 둘 다 참인 가능성을 제외하지만, 이를 형식화하려면 선언과 부정을 함께 써야 한다고 구분합니다. 즉 배타성은 단순한 ∨에 자동으로 들어 있지 않습니다.

3. 오답은 숨은 배타 조건을 넣었습니다

오답 ‘회의실이 참이므로 온라인은 거짓’은 원문에 없는 ‘둘 다는 안 된다’를 추가합니다. 포함적 또는에서 회의실 참·온라인 참은 규칙과 양립하므로 이 한 경우가 반례입니다.

계산기는 규칙을 만족하면서 직접 확인한 사실과도 맞는 경우만 남깁니다. 남은 모든 경우에서 온라인 값이 같을 때만 그 값을 필연적 결론으로 표시합니다.

두 ‘또는’의 가능한 경우
회의실온라인포함적 또는배타적 또는
참참성립불성립
참거짓성립성립
거짓참성립성립
거짓거짓불성립불성립

4. 실제 문장에서는 운영 조건을 확인합니다

형식 논리는 정해진 뜻에서 결론이 따라오는지 검사합니다. 실제 참가 안내의 뜻은 동시 송출 여부, 중복 출석 처리, 접속 전환 허용과 같은 운영 문맥에 달릴 수 있습니다.

따라서 문장을 ‘회의실 또는 온라인 중 정확히 한 방식으로 참여’처럼 고치거나 담당자에게 중복·전환 가능 여부를 묻습니다. 모호한 문장을 임의로 배타적으로 읽지 않습니다.

‘회의실이나 온라인’의 가능한 경우 다시 세기

출발값은 포함적 ‘또는’·회의실 참·온라인 모름입니다. 규칙 뜻과 직접 확인한 사실을 바꾸면 가능한 경우와 따라오는 결론이 갱신됩니다.

‘또는’의 뜻
2개가능한 경우
회의실 참온라인 거짓
회의실 참온라인 참

온라인 참여가 참인 경우와 거짓인 경우가 모두 남습니다. 어느 쪽도 필연적으로 따라오지 않습니다.

고정 진리표를 쓰는 LTCT 가상 일정입니다. 포함적 또는 A∨B는 둘 다 거짓일 때만 거짓이고, 배타적 또는는 정확히 하나만 참일 때 참입니다. 실제 일정 문장은 문맥이나 ‘둘 중 하나만’ 같은 표현으로 뜻을 확인해야 합니다.

직접 해 보기

가능한 경우로 숨은 전제 찾기

  1. 출발값 포함적 또는·회의실 참·온라인 모름에서 가능한 경우 두 개를 확인합니다.
  2. 배타적 또는로 바꾸어 온라인 거짓만 남는지 봅니다.
  3. 포함적 또는로 돌아가 온라인도 참이라고 확인해 둘 다 참인 반례가 남는지 확인합니다.
  4. 회의실과 온라인을 둘 다 거짓으로 선택해 모순 0개를 확인한 뒤 초기화합니다.

생각 확인 질문

‘보고서는 표나 그림을 포함해야 한다’와 ‘표가 있다’에서 ‘그림은 없다’가 따라오지 않는 이유와 필요한 추가 조건을 쓰세요.

내 답과 해설 비교하기

포함적 또는라면 표와 그림이 둘 다 있을 수 있어 ‘그림은 없다’는 결론이 따라오지 않습니다. ‘둘 중 정확히 하나만 포함’이라는 배타 조건이나 그림이 없다는 직접 사실이 더 필요합니다.

마지막으로 확인하기

  • ‘또는’의 뜻을 밝혔나요?
  • 가능한 네 경우를 빠뜨리지 않았나요?
  • 둘 다 참인 반례를 확인했나요?
  • 실제 문맥의 배타 조건을 별도로 확인했나요?
다른 오답 고치기 연습 보기 →

출처와 제작 안내

사례·표·연습·해설은 LTCT가 제작했습니다. 실제 조사 결과나 공식 시험 문항으로 제시한 자료가 아닙니다.

forall x: Calgary — Connectives and characteristic truth tables

P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach 등

2026-10-03 공개 교재에서 ∨는 포함적 또는이며, 자연어 ‘or’의 배타적 읽기는 선언과 부정을 함께 써야 한다는 설명을 확인했습니다. 회의 참여 사례는 LTCT 자체 가상 사례입니다.

원문 확인일: 2026-10-03

실습 전체 보기 →