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.


  • 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".

    • consequent: The consequent follows the "then" in a conditional statement. Its realization is conditional upon the antecedent .
  • CYC Glossary
    • 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.
    • 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.