... />
Note: The "negation" of the conditional is synonymous with the "contrapositive ... the condition that makes the conditional relationship false. The contrapositive represents ... modus tollens inference when the conditional is true but the consequent ...