English
Noun en-noun
#(propositional calculus) The hypothesis of an implication
See also implicand
Category:Logic
ru:implicant zh:implicant