证明论的英文

proof theory

• 证明:    prove; testify; be ...
• 论:    The Analects of Co ...
• 立论，证明论点:    make a point

例句与用法

1. The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
   将证明论方法引入到xml中，建立了基于xml的证明论。
2. An approach to xml problem solving by means of resolution principle is presented . the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle . an intelligent decision support system based on xml is presented
   主要内容包括：建立了基于xml的公理系统；给出了假言推理在xdd中的应用形式；论证了假言推理在xdd中有效性和完备性；给出了应用证明论方法实现xml问题求解的方法和步骤。

百科释义

证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根据逻辑系统的公理和推理规则构造。