Antecedente (lógica)

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
  • 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
  • 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

Referências

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