proof system
Englisch
Bedeutung proof system Bedeutung
Was beudeutet auf Englisch proof system?
proof system
noun
—
(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Suchen Sie vielleicht...?