Antecedente (lógica)

• Si ${\displaystyle P}$, entonces ${\displaystyle Q}$.

Esta es una formulación no lógica de una proposición hipotética. En este caso, el antecedente es ${\displaystyle P}$, y el consecuente es ${\displaystyle Q}$. En una implicación, si ${\displaystyle \phi }$ implica ${\displaystyle \psi }$ entonces ${\displaystyle \phi }$ se llama el antecedente y ${\displaystyle \psi }$ el consecuente.^[1]