Antecedente (lógica)

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda

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