Home / Dictionary / Proof system

Proof system Uncommon

Definition, synonyms and related words

Definitions
Noun
1

A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.

See Also
tautologies proof axiom inference rule
Related Terms
Rhyming Words
tem stem item autem totem artem tatem retem satem hatem datem u stem bestem i stem hattem destem mortem system o stem montem
Compare
Proof system vs