implicational propositional calculus (English, noun)
expansion: implicational propositional calculus (uncountable)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").
tags: uncountable
Forms: