Tuesday 27 November

With every implication there are three other statements that are associated.

If p \implies q then:

  • The inverse of p \implies q is ¬p \implies ¬q
  • The converse of p \implies q is p\Longleftarrow q or q \implies p
  • The contrapositive of p \implies q is ¬q \implies¬ p

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.