Last Updated：2025/11/24
(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
proof system
Edit Histories（0）
Source Word
proof system
（ plural ）
