Understanding If-Then Statements

If I get my bonus, then I will buy a car.
If I become 30, then I will get married.
If x \geq 3, then x^2 \geq 9.

The statements above are examples of an if-then statement. An if-then statement is also called a conditional statement. A conditional statement is of the form if p then q where p and q are statements and in which q follows from p. As shown above, conditional statements can be seen in real life or in mathematics.

In a conditional statement, the statement following if is called the antecedent (or hypothesis), while the statement following then is called the consequent (or conclusion).

Conditional statements have their truth values just like, and, or and not. To examine their truth values, let us consider the third conditional statement above. In this statement, we can assign p as x \geq 3  and q as x^2 \geq 9» Read more