Mathematical Language

The statement "If $(A)$ then $(B)$" means that if the hypothesis $A$ is true, then the conclusion $B$ is guaranteed to be true.

Suppose we know that in a certain town the statement

is a true statement,. What can we validly conclude about a red building? Based on the information we have, we can validly conclude that the red building is "not a church" since every church is green. We can also conclude that a blue building is not a church. In fact, we can conclude that every "not green" building is "not a church." That is, if the conclusion of a valid "If ... then ... " statement is false, then the hypothesis must also be false.

What about a green building in this town? The green building may or may not be a church – perhaps every post office is also painted green. Or perhaps every building in town is green, in which case the statement "If (a building is a church) then (the building is green)" is certainly true.

Practice 4: Write the contrapositive form of each of the following statements.

(a) If a function is differentiable then it is continuous.

(b) All men are mortal.

(c) If ($x$ equals 3) then ($x2 – 5x + 6$ equals 0)

(d) If (2 divides $x$ and 3 divides $x$) then (6 divides $x$).