Home / Glossary / Antecedent

The antecedent of a rule is its left-hand side (LHS), that is, the first argument to the #$implies connective with which the rule begins. Intuitively, every rule states that if the antecedent is true, then the consequent must be true.

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