Conditional Statement

A statement of the form $P\Rightarrow Q$ is called a conditional statement because it means $Q$ will be true under the condition that $P$ is true. Read as “if P, then Q.”

Context

Conditional statements are the backbone of mathematical proofs and logical reasoning. For example, “if it is raining, then the ground is wet” is a conditional statement. The converse ($Q\Rightarrow P$) is a separate statement that may or may not be true.

See Also

• biconditional statement
• congruent modulo
• statement
• logic
• logical inference