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

Referências