Noun
implicans (grammar) The antecedent in the if-clause; the well-formed formula (wff). Synonym: protasis