Hierarchy:
Description:
{{logic}} A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Ngram:
Ngram Text:
propositional logic
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
2
Wikokit WikiText ID:
1104903