*치환 규칙(달리 쓰기 규칙, 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 연..
