Consequent
804778
161592547
2007-10-01T16:51:40Z
Robbot
25261
robot Removing: [[he:סוגר (לוגיקה)]]
A '''consequent''' is the second half of a hypothetical [[proposition]]. In the standard form of such a proposition, it is the part that follows "then".
Examples:
* If P, then Q.
Q is the consequent of this hypothetical proposition.
* If X is a mammal, then X is an animal.
Here, "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 (logic)|antecedent]].
* If monkeys are purple, then fish speak Klingon.
"Fish speak Klingon" is the consequent here, but clearly is not a consequence of (nor has anything to do with) the claim made in the antecedent that "monkeys are purple".
==See also==
* [[Antecedent (logic)|Antecedent]]
{{logic-stub}}
[[Category:Logic]]
[[nl:Gevolg]]
[[zh:后件]]