Rule Consequent
(Redirected from Consequent)
Jump to navigation
Jump to search
A rule consequent is a logic statement within a conditional logic rule that must be true if the rule antecedent is satisfied.
- AKA: Consequent, Consequent Statement.
- …
- Counter-Example(s)
- a Rule Antecedent.
- a Rule of Inference, such as Modus Tollens.
- See: Outcome, Intended Outcome.
References
- 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".
en.wikipedia.org/wiki/Consequent
- www.uky.edu/~rosdatte/phi120/glossary.htm
- consequent: The consequent follows the "then" in a conditional statement. Its realization is conditional upon the antecedent .
- CYC Glossary http://www.cyc.com/cycdoc/ref/glossary.html
- consequent: The consequent of a rule is its right-hand side, that is, the second argument to the #$implies connective with which the rule begins. Intuitively, every rule states that if the antecedent is true, then the consequent is true.
- http://dms.irb.hr/tutorial/tut_glosary.php
- consequent (right-hand side of the rule)
When an association between two variables is defined, the second item (or right-hand side) is called the consequent. For example, in the relationship "When a customer buys a beer, he also buys chips 25% of the time" "buys chips" is the consequent.