[PSAT 기출] 2023 5급 언어논리 가책형 37번 해설 – 조건문 참 거짓 명제 진릿값 명제 논리

견해 (가)에 따르면 조건문 ‘A이면 C’는 A가 참인데도 C가 거짓인 경우에 거짓이고, 그 나머지 경우에는 모두 참이다. 여기서 A가 거짓인 경우에는 C가 참이든 거짓이든 조건문은 참이 된다. 그러나 A가 거짓인 경우의 진릿값 결정 방식은 우리의 직관에 부합하지 않는 면이 있다.

견해 (나)에 따르면 조건문의 진릿값이 정해지는 방식은 ‘가능 세계’라는 개념을 이용해야 만족스럽게 제시될 수 있다. 먼저 A가 현실 세계에서 참인 경우를 생각해보자. 이 경우에는 (가)와 다를 바 없이 현실 세계에서 C가 참인지 거짓인지에 따라 조건문의 진릿값이 결정된다. 즉, C가 참이면 조건문은 참이고 C가 거짓이면 조건문은 거짓이다. 다음으로 A가 현실 세계에서 거짓인 경우를 생각해보자. 이 경우에는 A가 참인 것 외에 다른 것은 모두 현실 세계와 같은 가능 세계에서 C가 참인지 거짓인지를 판단해 보는 것이다. 만약 그 가능 세계에서 C가 참이면 조건문은 참이 되고, C가 거짓이면 조건문은 거짓이 된다. 가령 실제 3월에 누군가 “이번 달이 4월이면, 다음 달은 5월이다.”라고 말했다면, 이는 참이다. 왜냐하면 ‘이번 달은 4월이다’가 참이라는 것이 현실 세계와 다르고 그 밖의 것은 모두 현실 세계와 같은 가능 세계에서는 현실 세계처럼 4월의 다음 달은 5월일 것이기 때문이다.

ㄴ. (나)에 따르면 실제 3월에 누군가 “이번 달이 3월이면, 다음 달은 4월이다.”라고 말했을 때, 이 조건문은 참이다.

ㄷ. (가)에서 거짓인 조건문은 (나)에서도 거짓으로 판정한다.

(견해 (나)) 먼저 A가 현실 세계에서 참인 경우를 생각해보자. 이 경우에는 (가)와 다를 바 없이 현실 세계에서 C가 참인지 거짓인지에 따라 조건문의 진릿값이 결정된다. 즉, C가 참이면 조건문은 참이고 C가 거짓이면 조건문은 거짓이다.

먼저 A가 현실 세계에서 참인 경우를 생각해보자. 이 경우에는 (가)와 다를 바 없이 현실 세계에서 C가 참인지 거짓인지에 따라 조건문의 진릿값이 결정된다. 즉, C가 참이면 조건문은 참이고 C가 거짓이면 조건문은 거짓이다.