(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（ディクト）
無料
★★★★★★★★★★
