Last Updated：2025/11/24
Researchers studying the implicational propositional calculus have explored which axioms suffice to derive all tautologies expressible with implication and false.
See correct answer
Researchers studying the implicational propositional calculus have explored which axioms suffice to derive all tautologies expressible with implication and false.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
含意結合子（→）と偽（⊥）だけを用いる命題計算を研究する研究者たちは、これらの結合子で表現できるすべての恒真式を導くためにどの公理が十分かを探究してきた。
