Antecedente (lógica)

primera mitad de una proposición hipotética

Un antecedente es la primera parte de una proposición hipotética, siempre que la cláusula "si" preceda a la cláusula "entonces". En algunos contextos el antecedente se llama protasis.

Estructura lógica

editar
  • Si  , entonces  .

Esta es una formulación no lógica de una proposición hipotética. En este caso, el antecedente es  , y el consecuente es  . En una implicación, si   implica   entonces   se llama el antecedente y   el consecuente.[1]

Ejemplos

editar
  • Si   es un hombre, entonces   es mortal.

"  es un hombre" es el antecedente para esta proposición.

  • Si a 2016 hay hombres en la Luna, entonces yo soy el rey de Francia.

Aquí, "a 2016 hay hombres en la Luna" es el antecedente.

Véase también

editar

Referencias

editar
  1. Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004