몸과 맘

*추출규칙(이렇고 저렇다면, 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’ (선..

*치환 규칙(달리 쓰기 규칙, replacement rule)(=같은 말 규칙, 동치 규칙, equivalence rule) - 진리표를 써서 문장들의 짝이 뜻이 같다는 것을 보인 후 그것을 하나의 규칙으로 삼은 것 - 연언의 진리표와 선언의 진리표로 다음과 같은 치환 규칙을 쉽게 얻을 수 있음 연언 동어반복 (이고 되풀이, conjunctive tautology) X이고 X ≡ X 선언 동어반복 (이거나 되풀이, disjunctive tautology) X이거나 X ≡ X 연언 교환규칙 (이고 앞뒤 바꿈, commutativity of conjunction) X이고 Y ≡ Y이고 X 선언 교환규칙 (이거나 앞뒤 바꿈, commutativity of disjunction) X이거나 Y ≡ Y이거나 X 연..