Un antecedente es la primera mitad de una proposición hipotética , siempre que la cláusula si precede a la cláusula-entonces. En algunos contextos, el antecedente se llama prótasis . [1]
Ejemplos:
- Si , luego .
Ésta es una formulación no lógica de una proposición hipotética. En este caso, el antecedente es P , y la consecuente es Q . En una implicación , si implica luego se llama antecedente yse llama consecuente. [2] El antecedente y el consecuente están conectados mediante conectivo lógico para formar una proposición .
- Si es un hombre, entonces es mortal.
" es un hombre "es el antecedente de esta proposición.
- Si los hombres han caminado sobre la luna, entonces yo soy el rey de Francia.
Aquí, "los hombres han caminado sobre la luna" es el antecedente.
Dejar . Si luego
Ver también
- Afirmando el consecuente (falacia)
- Negar el antecedente (falacia)
- Necesidad y suficiencia
Referencias
- ^ Ver oración condicional .
- ^ Conjuntos, funciones y lógica: una introducción a las matemáticas abstractas, Keith Devlin, Chapman & Hall / CRC Mathematics, 3ra ed., 2004