最終更新日：2025/11/24

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

音声機能が動作しない場合はこちらをご確認ください

正解を見る

implicational propositional calculus

元となった辞書の項目

implicational propositional calculus

名詞

不可算名詞

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

日本語の意味

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

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

意味（1）

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