Lecture 02
Lecture 02
Topics:
1. Conditional Statements
2. Converse, Inverse, and Contrapositives
3. Biconditional Statements
4. Truth tables of Conditional Statements
Conditional Statements
Definition 5 Let p and q be propositions. The conditional statement p → q is the
proposition “if p, then q.” The conditional statement p → q is false when p is true and q
is false, and true otherwise. In the conditional statement p → q, p is called the
hypothesis (or antecedent or premise) and q is called the conclusion (or consequence)
p q p→q
T T T
T F F
F T T
F F T
Other ways to express conditional statements
“If you get 100% on the final, then you will get an A.”
Remark: Because some of the different ways to express the implication p implies
q can be confusing, we will provide some extra guidance. To remember that “p
only if q” expresses the same thing as “if p, then q,” note that “p only if q” says that
p cannot be true when q is not true. That is, the statement is false if p is true, but q
is false. When p is false, q may be either true or false, because the statement
says nothing about the truth value of q.
“You can receive an A in the course only if your score on the final is at least 90%.
There are many other ways to express this conditional statement in English.
Among the most natural of these are “Maria will find a good job when she learns
discrete mathematics.” “For Maria to get a good job, it is sufficient for her to learn
discrete mathematics.” and “Maria will find a good job unless she does not learn
discrete mathematics.”
“If Juan has a smartphone, then 2 + 3 = 5” is true from the definition of a
conditional statement, because its conclusion is true. (The truth value of the
hypothesis does not matter then.) The conditional statement “If Juan has a
smartphone, then 2 + 3 = 6”
CONVERSE, CONTRAPOSITIVE, AND INVERSE
p q p↔q
T T T
T F F
F T F
F F T
Definition 6 Let p and q be propositions. The biconditional statement p ↔ q is the
proposition “p if and only if q.” The biconditional statement p ↔ q is true when p
and q have the same truth values, and is false otherwise. Biconditional statements
are also called bi-implications.
“p is necessary and sufficient for q” “if p then q, and conversely” “p iff q.” “p exactly
when q.”