Home / Glossary / Consequent

The consequent of a rule is its right-hand side (RHS), 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.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA