This preview shows page 1. Sign up to view the full content.
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
- Spring '09