Definition of "implicans"

(grammar) The antecedent in the if-clause; the well-formed formula (wff).  examples