t4: logic & proof Flashcards
1
Q
converse statement of p ⇒ q
A
q ⇒ p
2
Q
what is ⇒
A
implies
3
Q
logically equivalent
A
if p is true, then q is also true. likewise, if p is false, then q is also false.
4
Q
contrapositive statement of p ⇒ q
A
¬ q ⇒ ¬ p