Modus tollens

From PKC
Jump to navigation Jump to search

Modus tollens(Q844118) if X implies Y, and Y isn't true, then neither is X.