Noun
implicational propositional calculus (uncountable)
(logic) A minimalist version of propositional calculus which uses only the logical connectives
→
{\displaystyle \to }
("implies") and
⊥
{\displaystyle \bot }
("false").