Symbolic translation shows how implication appears in ordinary language. Conditional statements and programming decisions show the same logic in action. A program often tests a condition and performs an instruction depending on whether the condition is true or false. In this lesson, conditional statements and programming decisions will connect $p\to q$ with If-Then and If-Then-Else structures.

A \textbf{conditional statement} is an implication of the form $p\to q$. It asserts that if the hypothesis $p$ is true, then the conclusion $q$ follows.