A Conditional [[Proposition]] is a [[Logical Operator]] that relates one [[Proposition]] as sufficient for another. $\huge \begin{align} p &\to q \\ p &\implies q\\ p &\subset q \end{align}$ - If $p$ *then* $q$, - $p$ *implies* $q$ - $p$ is sufficient for $q$. #### Truth Table | $p$ | $q$ | $p \to q$ | | ----- | ----- | --------- | | **F** | **F** | *T* | | **F** | *T* | *T* | | *T* | **F** | **F** | | *T* | *T* | *T* |