p → q is a symbol for a conditional statement, an if-then statement in which p is a hypothesis and q is a conclusion. The logical connector in a conditional statement is denoted by the symbol →.
The conditional is defined to be true unless a true hypothesis leads to a false conclusion.
