proof system
proof system · proof systems
Beweissystem
A set of axioms and a set of inference rules which are jointly used to deduce…A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Значення
значень: 1A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Beweissystem
Переклади
мов: 2Deutsch
За значеннями 1
Translations:
Форми
множина: proof systems| Однина | proof system |
|---|---|
| Множина | proof systems |
правильне