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 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üenteSets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004.
Exemplos 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 Afirmação do consequente Negação do antecedente Condições necessárias e suficientes
Categoria:Condicionais Categoria:Filosofia da linguagem Categoria:Lógica