Conditional Equivalences Flashcards
1
Q
P → Q
A
¬P ∨ Q
¬Q → ¬P
2
Q
¬P → Q
A
P ∨ Q
3
Q
¬(P → ¬Q)
A
P ∧ Q
4
Q
¬(P → Q)
A
P ∧ ¬Q
5
Q
(P → Q) ∧ (P → R)
A
P → (Q ∧ R)
6
Q
(P → R) ∧ (Q → R)
A
(P ∨ Q) → R
7
Q
(P → Q) ∨ (P → R)
A
P → (Q ∨ R)
8
Q
(P → R) ∨ (Q → R)
A
(P ∧ Q) → R
