|
Definition of Implicational propositional calculus
1. Noun. (logic) A minimalist version of propositional calculus which uses only the logical connectives ("implies") and ("false"). ¹
¹ Source: wiktionary.com
|
1. Noun. (logic) A minimalist version of propositional calculus which uses only the logical connectives ("implies") and ("false"). ¹
¹ Source: wiktionary.com