noun ·Rare ·Advanced level

Definitions

Noun

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

Synonyms

All synonyms

protasis

Etymology

From Latin implicans.

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.