proof system en · NOUN
Meanings
- A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| proof systems | Number=Plur | lexicographic |
Translations (3)
fi todistusjärjestelmä (Translations) · de Beweissystem (Translations) · pl grupa aksjomatów (Translations)