Conditional Statements

A conditional statement is a logical statement that has two parts: a hypothesis (if part) and a conclusion (then part). It is often written in the form "If P, then Q."

The hypothesis is the part of the conditional statement that follows the 'if'. It represents the condition that must be met for the conclusion to be true.

The conclusion is the part of the conditional statement that follows the 'then'. It represents the result or outcome that follows from the hypothesis.

The converse of a conditional statement is formed by switching the hypothesis and conclusion. For example, the converse of "If P, then Q" is "If Q, then P."

A biconditional statement is a statement that combines two conditional statements and is true if both statements are true. It is often written as "P if and only if Q."

The contrapositive of a conditional statement is formed by negating both the hypothesis and conclusion and switching them. For example, the contrapositive of "If P, then Q" is "If not Q, then not P."

A conditional statement is true unless the hypothesis is true and the conclusion is false. In that case, the statement is false.

A conditional statement and its contrapositive are logically equivalent, meaning they have the same truth value.

A conditional statement and its converse are not necessarily equivalent; they can have different truth values.

If it rains, then the ground will be wet.