Hierarchy:
Description:
{{logic}} (''countable'') The connective in propositional calculus that, when joining two predicates A and B in that order, has the meaning "if A is true, then B is true".
Ngram:
Ngram Text:
implication
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
1
Wikokit WikiText ID:
767962