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