*연언의 진리표(이고의 참값모눈, truth table for conjunction) 세계 X Y X이고 Y W1 참 참 참 W2 참 거짓 거짓 W3 거짓 참 거짓 W4 거짓 거짓 거짓 *연언의 진리표의 증명 - 첫째 추론 1. X는 참이다. 2. Y는 참이다. // X이고 Y 3. 1과 2에 이고 넣어, X이고 Y. “끝” - 둘째 추론 1. X는 참이다. 2. Y는 거짓이다. // ‘X이고 Y’는 거짓이다. 3*. 거짓이다 넣기 시작: X이고 Y 4*. 3*에서 이고 없애, Y 5*. 2와 4*에 이고 넣어, Y는 참이고 거짓이다. 6. 3*에서 5*까지로 3*에 거짓이다 넣어, ‘X이고 Y’는 거짓이다. “끝” - 셋째 추론 1. X는 거짓이다. 2. Y는 참이다. // ‘X이고 Y’는 거짓이다. ..
