*선언의 진리표(이거나의 참값모눈, truth table for disjunction) 세계 X Y X이거나 Y W1 참 참 참 W2 참 거짓 참 W3 거짓 참 참 W4 거짓 거짓 거짓 *선언의 진리표의 증명 - 첫째 추론 1. X는 참이다. 2. Y는 참이다. / X이거나 Y 3. 1에 이거나 넣어, X이거나 Y. “끝” - 둘째 추론 1. X는 참이다. 2. Y는 거짓이다. / X이거나 Y 3. 1에 이거나 넣어, X이거나 Y. “끝” - 셋째 추론 1. X는 거짓이다. 2. Y는 참이다. / X이거나 Y 3. 2에 이거나 넣어, X이거나 Y. “끝” - 넷째 추론 1. X는 거짓이다. 2. Y는 거짓이다. / ‘X이거나 Y’는 거짓이다. 3*. 거짓이다 넣기 시작: X이거나 Y 4*. 1로 3*에서..
