Antecedente (lógica)

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa

Um antecedente é a primeira metade de uma proposição hipotética, sempre que a cláusula "se" precede a cláusula "então". Ele também é conhecido pelos princípios de uma pessoa para um problema possível ou hipotético.

Estrutura lógica[editar | editar código-fonte]

  • Se P, então Q.

Esta é uma formulação não lógica de uma proposição hipotética. Neste caso, o antecedente é P, e a consequente é Q. Em uma implicação, se implica então é chamado o antecedente e é chamado a conseqüente[1].

Exemplos[editar | editar código-fonte]

  • Se X é um homem, então X é mortal.

"X é um homem" é o antecedente para esta proposição.

  • Se os homens andaram na lua, então eu sou o rei da França.

Aqui, "os homens andaram na Lua" é o antecedente.


Ver também[editar | editar código-fonte]

Referências

  1. Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004
Ícone de esboço Este artigo sobre lógica é um esboço. Você pode ajudar a Wikipédia expandindo-o.