Consecuente - Consequent

Un consecuente es la segunda mitad de una proposición hipotética . En la forma estándar de tal proposición, es la parte que sigue a "entonces". En una implicación , si P implica Q , entonces P se llama antecedente y Q se llama consecuente . En algunos contextos, el consecuente se llama apodosis .

Ejemplos:

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

${\ displaystyle Q}$ es el consecuente 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 el consecuente.

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

• Si los monos son morados, 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".

Ver también

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

Referencias

Este artículo relacionado con la lógica es un fragmento . Puedes ayudar a Wikipedia expandiéndolo .

• v
• t
• mi