어느 과학자는 자신이 세운 가설을 입증하기 위해서 다음과 같은
논리적 관계가 성립하는 여섯 명제 A, B, C, D, E, F의 진위를 확
인해야 한다는 것을 발견하였다.
그러나 그는 이들 중 F가 거짓이
라는 것과 다른 한 명제가 참이라는 것을 이미 알고 있었기 때
문에, 나머지 명제의 진위를 확인할 필요가 없었다.
이 과학자가
이미 알고 있었던 참인 명제는?

○ B가 거짓이거나 C가 참이면, A는 거짓이다.
○ C가 참이거나 D가 참이면, B가 거짓이고 F는 참이다.
○ C가 참이거나 E가 거짓이면, B가 거짓이거나 F가 참이다.

① A　　　　② B　　　　③ C　　　　④ D　　　　⑤ E