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.


7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA