Wiktionary
implicans
n. Another name for the antecedent in the if-clause; the well-formed formula (wff); also known as protasis.