Antecedente (lógica) - Antecedent (logic)
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 .
Ejemplos:
- Si , entonces .
É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 entonces se llama antecedente y consecuente. 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 soy el rey de Francia.
Aquí, "los hombres han caminado sobre la luna" es el antecedente.
Deja . Si entonces
Ver también
- Afirmando el consecuente (falacia)
- Negar el antecedente (falacia)
- Necesidad y suficiencia