Antecedente (lóxica)

Un antecedente é a primeira metade dunha proposición hipotética, sempre que a cláusula "se" precede á cláusula "entón" (ou daquela, logo). Nalgúns contextos úsase prótase.

 Estrutura lóxica 

 Se P, entón Q.

Esta é unha formulación non lóxica dunha proposición hipotética. Neste caso, o antecedente é P e o consecuente Q. Nunha implicación, se  implica  entón  chámase antecedente e  chámase consecuenteSets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004.

 Exemplos 

 Se X é un home, entón X é mortal.

"X é un home" é o antecedente desta proposición.

 Se os homes andasen na lúa, daquela eu son o rei de Francia.

Aquí, "os homes andasen na Lúa" é o antecedente.

 Notas 


 Véxase tamén 

 Bibliografía 

 Outros artigos 
 Consecuencia lóxica.
 Condicional material

Categoría:Lóxica