Mathematics I / Implication and Equivalence
Practice question · Select all that apply

Select every statement that is logically EQUIVALENT to 'if p then q'.

Hints
  1. Two of these have exactly the same truth table as the original.
  2. One is the contrapositive; the other rewrites the conditional using OR.
Show the answer
  • C. (NOT p) OR q
  • E. if NOT q then NOT p
Why

The contrapositive 'if NOT q then NOT p' and the disjunctive form '(NOT p) OR q' both match the implication row for row. The converse and inverse are not equivalent, and 'p AND (NOT q)' is its NEGATION, the one case where the implication fails.

Read the lesson: Implication and Equivalence →

Practise Implication and Equivalence

The app has 7 more questions on this lesson, and keeps your place in the course. Mathematics I is free to start.

More questions on Implication and Equivalence