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