implicans |
implicand |
As nouns the difference between implicans and implicand
is that
implicans is another name for the antecedent in the if-clause; the well-formed formula (wff); also known as protasis while
implicand is (
propositional calculus) The conclusion of an implication.