Logic Strand Lecture 3

6. Implication Laws:
• ( P ⇒ Q)
≡
• ( P
⇔ Q)
≡
7. Identity Laws:
• ( P ∨
F ) ≡
• ( P ∧ T ) ≡
P
( ~ P ∨ Q)
(Implication)
((
P ⇒ Q)
∧ ( Q ⇒ P)
) (Biconditional)
P
8. Negation (Complement) Laws:
• ( P∨
• ( P∧
~ P)
≡ T
~ P)
≡
F
9. Dominance Laws:
• ( P ∨ T )
≡ T
• ( P ∧ F ) ≡
F
10. Idempotent Laws:
• ( P ∨
P)
≡
• ( P ∧ P)
≡
P
P
11. Absorption Laws:
• P ∧ ( P ∨ Q)
≡ P
• P ∨ ( P ∧ Q)
≡ P
12. Property of Implication:
• ( P ⇒ ( Q ∧ R)
) ≡ ((
P ⇒ Q)
∧ ( P ⇒ R)
)
• ((
P ∨ Q)
⇒ R) ≡ ((
P ⇒ R)
∧ ( Q ⇒ R)
)
WUCT121 Logic 56