Consecuente

Un consecuente é a segunda metade dunha proposición hipotética. Na forma estándar de tal proposición, é a parte que segue a palabra "entón" (ou daquela, logo). Nunha implicación, se P implica Q, entón P chámase antecedente e Q consecuenteSets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004. Nalgúns contextos, o consecuente chámase apódose.

Exemplos:

 Se , entón .

 é o conxecuente desta hipotética proposición.

 Se  é un mamífero, daquela  é un animal.

Aquí," é un animal" é o consecuente.

 Se os ordenadores poden pensar, logo están vivos.

"Están vivos" é o consecuente.

O consecuente nunha proposición hipotética non é necesariamente unha consecuencia do antecedente.

 Se os monos son morados, os peixes falan klingon.

"Os peixes falan klingon" é o consecuente aquí, mais intuitivamente non é unha consecuencia (nin ten nada que ver con) da afirmación feita no antecedente de que "os monos son morados.

 Notas 


 Véxase tamén 
 Bibliografía 
 Outros artigos 
 Consecuencia lóxica.
 Necesario e suficiente

Categoría:Lóxica