implicans

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

Noun

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

    Synonyms: protasis

    Coordinate Terms: implicand implicate

Origin

From Latin implicans.

Related

implicandum

From Wiktionary's contributor community, shared under CC BY-SA 4.0.