몸과 맘

*추출규칙(이렇고 저렇다면, exportation rule) : ‘X이고 Y’이면, Z ≡ X이면 ‘Y이면 Z’ ‘X이고 Y’이면, Z ≡ ‘X이고 Y’는 거짓이거나, Z (조건문 규칙) ≡ ‘X는 거짓이거나 Y는 거짓이다’이거나, Z (연언 드모르강 규칙) ≡ X는 거짓이거나, ‘Y는 거짓이거나 Z’ (선언 결합 규칙) ≡ X이면, ‘Y는 거짓이거나 Z’ (조건문 규칙) ≡ X이면, ‘Y이면 Z’ (조건문 규칙) *이렇거나 저렇다면 : ‘X이거나 Y’이면, Z ≡ ‘X이면 Z’이고, ‘Y이면 Z’ ‘X이거나 Y’이면, Z ≡ ‘X이거나 Y’는 거짓이거나, Z (조건문 규칙) ≡ ‘X는 거짓이고 Y는 거짓이다’이거나, Z (선언 드모르강 규칙) ≡ ‘X는 거짓이거나 Z’이고, ‘Y는 거짓이거나 Z’ (선..

*대우 규칙(이면 앞뒤 바꿈, transposition rule) : X이면 Y ≡ Y가 거짓이면 X는 거짓이다. *대우 규칙의 증명 - 첫째 추론 1. X이면 Y // Y가 거짓이면 X는 거짓이다. 2*. 이면 넣기 시작: Y는 거짓이다. 3*. 2*로 1에서 뒤로 이면 없애, X는 거짓이다. 4. 2*에서 3*까지로 2*과 3*에 이면 넣어, Y가 거짓이면 X는 거짓이다. “끝” - 둘째 추론 1. Y가 거짓이면 X는 거짓이다 // X이면 Y 2*. 이면 넣기 시작: X 3*. 2*로 1에서 뒤로 이면 없애, Y 4. 2*에서 3*까지로 2*과 3*에 이면 넣어, X이면 Y. “끝”