Consiguiente

Componente de proposición hipotética

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 . ${\displaystyle P}$ ${\displaystyle Q}$

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

• Si es un mamífero, entonces es un animal. ${\displaystyle X}$ ${\displaystyle X}$

Aquí, " es un animal" es el consecuente. ${\displaystyle 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".

Véase también

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

Referencias

1. Conjuntos, funciones y lógica: una introducción a las matemáticas abstractas, Keith Devlin, Chapman & Hall/CRC Mathematics, 3.ª ed., 2004
2. Ver Oración condicional .