예약 번호가 없으면 입장할 수 없을까?

1. ‘또는’의 두 갈래를 모두 남긴다

예약 번호를 P, 당일표를 Q로 두면 포괄적 선언 P∨Q는 적어도 하나가 참일 때 참입니다. P가 거짓이어도 Q가 참이면 입장 조건을 만족합니다.

출발값에서는 P가 거짓이고 Q는 아직 확인되지 않았습니다. Q가 참인 경우와 거짓인 경우가 모두 남으므로 입장 가능과 불가를 아직 확정할 수 없습니다.

2. 정확히 하나와 적어도 하나를 구분한다

일상어 ‘또는’은 문맥에 따라 둘 중 하나만 허용하는 뜻으로 쓰이기도 합니다. 그러나 고전 명제논리의 선언은 보통 둘 다 참인 경우도 포함합니다.

안내문이 ‘둘 중 정확히 하나’라고 명시했다면 예약 번호와 당일표가 둘 다 있을 때 오히려 규칙을 만족하지 않습니다. 규칙의 뜻을 바꾸면 네 경우의 결과도 바뀝니다.

3. 진리표는 빠진 경우를 보이는 도구다

OpenStax의 논리 장은 진리표를 구성 명제의 가능한 참·거짓 조합을 모두 살피는 도구로 설명하고, 포괄적 선언은 적어도 하나가 참이면 참이라고 정리합니다.

이 글의 전시·예약 사례는 LTCT가 만든 교육용 예시입니다. 실제 입장 규정에는 마감 시간, 매진, 신분 확인 같은 추가 조건이 있을 수 있으므로 현장 안내를 확인해야 합니다.

참고: OpenStax · Contemporary Mathematics, Chapter 2: Key Concepts

4. 오답은 결론보다 빠진 경우를 고쳐 쓴다

‘예약 번호가 없으므로 입장 불가’ 대신 ‘예약 번호는 없지만 당일표 여부가 확인되지 않아 입장 가능 여부는 아직 정해지지 않았다’고 씁니다.

당일표도 없다는 단서가 추가되면 두 갈래가 모두 거짓이므로 입장 불가가 따라옵니다. 오답 해설에는 어떤 경우를 빠뜨렸고 어떤 단서가 결론을 바꾸는지 함께 적습니다.