Implicational-propositional-calculus meaning

(logic) A minimalist version of propositional calculus which uses only the logical connectives ("implies") and ("false").
noun
1
0
Advertisement