请输入您要查询的英文单词:

 

单词 proof theory
释义

proof theory


proof theory

n (Logic) the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity

proof theory


proof theory

(logic)The branch of logic describing procedures forcombining logical statements to show, by a series oftruth-preserving transformations, that one statement is aconsequence of some other statement or group of statements.
随便看

 

英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/11/12 1:51:27