proof system

English - English

Definition of proof system in English English dictionary

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

Hyphenation

proof sys·tem

Turkish pronunciation

pruf sîstım

Pronunciation

/ˈpro͞of ˈsəstəm/ /ˈpruːf ˈsɪstəm/