Definify.com
Definition 2024
implicational_propositional_calculus
implicational propositional calculus
English
Noun
implicational propositional calculus (uncountable)
- (logic) A minimalist version of propositional calculus which uses only the logical connectives ("implies") and ("false").
