Aconsequent is the second half of a hypotheticalproposition. In the standard form of such a proposition, it is the part that follows "then". In animplication, ifP impliesQ, thenP is called theantecedent andQ is called theconsequent.^[1] In some contexts, the consequent is called theapodosis.^[2]

Examples:

• If${\displaystyle P}$, then${\displaystyle Q}$.

${\displaystyle Q}$ is the consequent of this hypothetical proposition.

• If${\displaystyle X}$ is a mammal, then${\displaystyle X}$ is an animal.

Here, "${\displaystyle X}$ is an animal" is the consequent.

• If computers can think, then they are alive.

"They are alive" is the consequent.

The consequent in a hypothetical proposition is not necessarily a consequence of the antecedent.

• If monkeys are purple, then fish speak Klingon.

"Fish speak Klingon" is the consequent here, but intuitively is not a consequence of (nor does it have anything to do with) the claim made in the antecedent that "monkeys are purple".

Look upconsequent in Wiktionary, the free dictionary.

• Antecedent (logic)
• Conjecture
• Necessity and sufficiency

Thislogic-related article is astub. You can help Wikipedia byadding missing information.

• v
• t
• e

• Conditionals
• Logical consequence
• Logic stubs

• Articles with short description
• Short description is different from Wikidata
• All stub articles