With every implication there are three other statements that are associated.
- The inverse of is ¬ ¬
- The converse of is or
- The contrapositive of is ¬¬
You still use the words ”If…then…” from you propositions, but include ”not”, etc.
p. 248 8E 1a,b, 2,a,b. Then the examination questions, see post below.
Remember: An implication is only False when the antecedent is True and the consequent is False.