ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
proof system
名詞
(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
日本語の意味
論理学において、公理の集合と推論規則の集合を用いて自明な命題を導出し、その証明を構築するための体系。
英語の意味
(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
関連語
proof systems
名詞
活用形
複数形
plural of proof system
原形:
proof system
日本語の意味
「proof system」の複数形。すなわち、単数の証明システムを複数指す表現となります。
英語の意味
plural of proof system
