proof system
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.
单词 | proof system |
释义 | proof system |
随便看 |
国际大辞典收录了7408809条英语、德语、日语等多语种在线翻译词条,基本涵盖了全部常用单词及词组的翻译及用法,是外语学习的有利工具。