antecedent

m
Matemàtiques
Lògica

En la implicació, el terme, o la proposició, del qual és implicat el consegüent.