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 $\phi$ implica $\psi$ entón $\phi$ chámase antecedente e $\psi$ chámase consecuente.

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.

Véxase tamén

Outros artigos

• Consecuencia lóxica.
• Condicional material