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