\(P \rightarrow Q\)
\(\neg(P\rightarrow Q) \leftrightarrow (\neg P \rightarrow\neg Q)\)
What is False?
The negation of the converse of the contrapositive
What is \(\neg P \wedge Q\) or \(\neg (\neg P\rightarrow \neg Q)\)?
A style of "proof" that is never sufficient to prove a universal statement
What is proof by example?
An equivalent disjunction.
What is \(\neg P \vee Q\)?