Definition

If the antecedent is true, then the consequent must also be true