implicational propositional calculus

== English == === 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"). ==== Hypernyms ==== propositional calculus === See also === Peirce's law