3851
2015-09-27 15:32:01
0
"철수가 대전에 가(C)거나 또는 영희가 부산에 가(Y)면 동수는 광주에 간다(D). 철수가 대전에 갔거나 또는 영희와 민정이가 부산에 갔다(Y∧M). 그러므로 철수가 대전에 갔거나 또는 동수가 광주에 갔다."
일단 위 문장을 명제화하면,
(C∨Y)→D
C∨(Y∧M)
∴C∨D
가 되는데, (C∨Y) 나 C∨(Y∧M) 나 결과는 같으니 (C∨Y)→D 일 경우 C∨D 라는 것만 그 포스트 어쩌구 정리로 보여주면 되겠네요.