Logical Equivalencies involving Biconditionals Flashcards
(2 cards)
1
Q
p ↔ q ≡
A
(p → q) ∧ (q → p)
¬p ↔ ¬q
(p ∧ q) ∨ (¬p ∧ ¬q)
2
Q
¬(p ↔ q) ≡
A
p ↔ ¬q
UNI: Logic 1 > Logical Equivalencies involving Biconditionals > Flashcards
p ↔ q ≡
(p → q) ∧ (q → p)
¬p ↔ ¬q
(p ∧ q) ∨ (¬p ∧ ¬q)
¬(p ↔ q) ≡
p ↔ ¬q