Consiguiente

Un consecuente es la segunda mitad de una proposición hipotética . En la forma estándar de una proposición de este tipo, es la parte que sigue a "entonces". En una implicación , si P implica Q , entonces P se denomina antecedente y Q se denomina consecuente . ^[1] En algunos contextos, el consecuente se denomina apódosis . ^[2]

Ejemplos:

• Si , entonces .${\estilo de visualización P}$${\estilo de visualización Q}$

${\estilo de visualización Q}$es la consecuencia de esta proposición hipotética.

• Si es un mamífero, entonces es un animal.${\estilo de visualización X}$${\estilo de visualización X}$

Aquí, " es un animal" es el consecuente. ${\estilo de visualización X}$

• Si las computadoras pueden pensar, entonces están vivas.

"Están vivos" es la consecuencia.

El consecuente en una proposición hipotética no es necesariamente una consecuencia del antecedente.

• Si los monos son morados, entonces los peces hablan klingon.

"Los peces hablan klingon" es el consecuente aquí, pero intuitivamente no es una consecuencia de (ni tiene nada que ver con) la afirmación hecha en el antecedente de que "los monos son morados".

• Antecedente (lógica)
• Conjetura
• Necesidad y suficiencia