Biconditional Equivalences Flashcards
1
Q
¬(P ⇔ Q)
A
P ⇔ ¬Q
2
Q
P ⇔ Q
A
(P → Q) ∧ (Q → P)
¬P ⇔ ¬Q
(P ∧ Q) ∨ (¬P ∧ ¬Q)
Logic > Biconditional Equivalences > Flashcards
¬(P ⇔ Q)
P ⇔ ¬Q
P ⇔ Q
(P → Q) ∧ (Q → P)
¬P ⇔ ¬Q
(P ∧ Q) ∨ (¬P ∧ ¬Q)