最終更新日：2024/07/31
(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
正解を見る
proof system
編集履歴（0）
元となった辞書の項目
(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
proof system
DiQt（ディクト）
無料
★★★★★★★★★★
