implicational propositional calculus

Noun

uncountable

(logic) A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").

Japanese Meaning

論理学における簡略化された命題計算体系。論理記号として、含意（→）と偽（⊥）のみを用いる。また、その他の論理結合子は定義されていない。

含意結合子（→）と偽（⊥）だけを用いる命題計算を研究する研究者たちは、これらの結合子で表現できるすべての恒真式を導くためにどの公理が十分かを探究してきた。

Sense（1）

(logic) A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").