Wiktionary
implicand
n. (''propositional calculus'') The conclusion of an implication
n. (''propositional calculus'') The conclusion of an implication