Antecedente (lógica) - Antecedent (logic)
Um antecedente é a primeira metade de uma proposição hipotética , sempre que a cláusula if precede a cláusula then. Em alguns contextos, o antecedente é chamado de prótase .
Exemplos:
- Se , então .
Esta é uma formulação não lógica de uma proposição hipotética. Neste caso, o antecedente é P , e o consequente é Q . Em uma implicação , se implica, então é denominado antecedente e conseqüente. Antecedente e consequente são conectados via conectivo lógico para formar uma proposição .
- Se for homem, então é mortal.
" é um homem" é o antecedente dessa proposição.
- Se os homens caminharam na lua, então sou o rei da França.
Aqui, "os homens andaram na lua" é o antecedente.
Deixe . Se então
Veja também
- Afirmando o consequente (falácia)
- Negando o antecedente (falácia)
- Necessidade e suficiência