Unformatted text preview: p ± q ( ) ² ~ q ± ~ p ( ) . • This can be proven using truth tables in a discrete mathematics class. As a result, any “if-then” theorem you know to be true has a contrapositive associated with it that will automatically be true. WARNING 3 : An “if-then” statement may or may not be logically equivalent to its converse or its inverse. (However, the converse and the inverse must be logically equivalent to each other. Why? How are they related?)...
View Full Document
This document was uploaded on 12/29/2011.
- Spring '09