PROOF 25
Prove.
Only the contrapositive is equivalent to the original statement
In propositional logic.
Definition D1
For a statement p → q, the statement q → p is its converse, ¬p → ¬q its inverse, and ¬q → ¬p its contrapositive.
Proof.
Related labs