# Definition:Conditional/Semantics of Conditional

< Definition:Conditional(Redirected from Definition:Semantics of Conditional)

## Definition

Let $p \implies q$ where $\implies$ denotes the conditional operator.

$p \implies q$ can be stated thus:

*If*$p$ is true*then*$q$ is true.

**$q$ is true***if*$p$ is true.

**(The truth of) $p$***implies*(the truth of) $q$.

**(The truth of) $q$***is implied by*(the truth of) $p$.

**$q$***follows from*$p$.

**$p$ is true***only if*$q$ is true.

The latter one may need some explanation. $p$ can be either true or false, as can $q$. But if $q$ is false, and $p \implies q$, then $p$ can not be true. Therefore, $p$ can be true *only if* $q$ is also true, which leads us to our assertion.

**$p$ is true***therefore*$q$ is true.

**$p$ is true***entails*that $q$ is true.

**$q$ is true***because*$p$ is true.

**$p$***may*be true*unless*$q$ is false.

*Given that*$p$ is true, $q$ is true.

**$q$ is true***whenever*$p$ is true.

**$q$ is true***provided that*$p$ is true.

**$q$ is true***in case*$p$ is true.

**$q$ is true***assuming that*$p$ is true.

**$q$ is true***on the condition that*$p$ is true.

## Sources

- 1964: Donald Kalish and Richard Montague:
*Logic: Techniques of Formal Reasoning*... (previous) ... (next): $\text{I}$: 'NOT' and 'IF': $\S 2$ - 1973: Irving M. Copi:
*Symbolic Logic*(4th ed.) ... (previous) ... (next): $2.2$: Conditional Statements - 1977: Gary Chartrand:
*Introductory Graph Theory*... (previous) ... (next): Appendix $\text{A}.5$: Theorems and Proofs - 1996: H. Jerome Keisler and Joel Robbin:
*Mathematical Logic and Computability*... (previous) ... (next): $\S 1.1$: Introduction