# Rule Consequent

(Redirected from Consequent)

A rule consequent is a logic statement within a conditional logic rule that must be true if the rule antecedent is satisfied.

## 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.