목차1. 논리와 명제2. 단순명제와 합성명제3. 논리연산자와 진리표4. 역, 이, 대우5. 항진명제와 모순명제6. 동치7. 추론8. 술어논리9. 변수의 명세와 한정화6. 동치 두 명제 p, q의 쌍방조건이 항진명제이면 논리적 동치(logical equivalence)라하고, p↔q, p⇔q, p≡q라고 표시한다.예로, 5와 2+3은 동치다.6-1. 동치 관계식작성은 하나 논리 연산자를 알고 있으면 굳이 볼 필요는 없다. 연산 흐름 따라가면 되기 때문이다.분류법칙 이름동치 관계식설명기본1. 멱등 법칙Idempotent Lawsp ∨ p ≡ p p ∧ p ≡ p동일 명제 반복 연산은 자기 자신2. 교환 법칙Commutative Lawsp ∨ q ≡ q ∨ p p ∧ q ≡ q ∧ p순서 변경 가능3. ..