Content-Length: 53406 | pFad | http://en.wiktionary.org/wiki/proof_system#English

proof system - Wiktionary, the free dictionary Jump to content

proof system

From Wiktionary, the free dictionary

English

Noun

proof system (plural proof systems)

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

Translations

Translations

Finnish: todistusjärjestelmä
German: Beweissystem n
Polish: grupa aksjomatów f

Retrieved from "https://en.wiktionary.org/w/index.php?title=proof_system&oldid=70919968"

Hidden categories: