De Morgan's Laws

Solution Preview

First, let's clarify the meaning of some terms. Suppose you have the proposition "if p, then q."
The converse is "if q, then p." The contrapositive is "if not q, then not p."

1. We want to show that the contrapositive is equivalent to the implication, but that the converse does not always follow from the implication. See the truth tables in the attached document.

2. Let p= the statement "All the participants of this course are IT majors." Let q denote the statement "All the participants of this course will graduate this semester."

The proposition can be denoted by p and q. The negation of "p ...