Hierarchy:
Description:
{{logic}} A minimalist version of propositional calculus which uses only the logical connectives <math>\to</math> ("implies") and <math>\bot</math> ("false").
Ngram Text:
implicational propositional calculus
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
3