La expresión lingüística que sigue al «entonces» de la conectiva lógica condicional «si..., entonces...». O la fórmula que sigue al signo [math]\rightarrow{}[/math] en el condicional o implicación
En «Si los tiburones fueran hombres,
se portarían mejor con los pececitos»
(B. Brecht),
el consecuente es
«se portarían mejor con los pececitos».
En [math]P\rightarrow{}Q[/math]
el consecuente es Q,
y en
[math][(p \rightarrow q) \wedge \neg q] \rightarrow \neg p [/math]
el consecuentes es ¬p.