Antecedente (lógica)

primera mitad de una proposición hipotética

Un antecedente es la primera mitad 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ógicaEditar

  • 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]

EjemplosEditar

  • 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.

Ver tambiénEditar

ReferenciasEditar

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