implication

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