주어진 논리 규칙을 기호화하고 명제 간의 관계를 분석하여, 사용할 수 있는 모듈의 최대 개수와 최소 개수를 추론하는 문제입니다. 여섯 개의 규칙 중 'E는 반드시 사용한다'는 확정적 사실에서 출발하여, 조건문의 후건 부정과 모순을 활용해 다른 모듈들의 사용 여부를 하나씩 확정해 나가는 것이 핵심입니다.

문제를 풀기 위한 첫 단추는 'E는 반드시 사용한다'는 확실한 정보입니다. 이를 'C와 D를 함께 사용한다면 E는 사용하지 않는다'는 조건문에 대입해 봅니다. E를 사용하므로 조건문의 결과가 부정되었습니다. 결과가 틀렸으므로 애초의 원인도 틀렸다는 **'후건 부정'** 공식에 따라, C와 D는 동시에 사용할 수 없다는 사실을 도출할 수 있습니다. 가장 조건이 복잡한 마지막 규칙입니다. C와 E를 함께 사용하지 않을 때 A와 B의 배타적 사용(둘 중 하나만 사용)을 강제하고 있습니다. E는 이미 사용이 확정되었으므로, C를 사용할지 말지에 따라 이 규칙이 발동되는지가 결정됩니다. 따라서 C의 사용 여부를 기준으로 경우를 나누어 모순이 없는지 확인하는 것이 다음 사고의 흐름입니다.

2011년 5급 PSAT 언어논리 16번 해설

2011년 5급 PSAT 언어논리 16번 해설 | QZip