请输入您要查询的百科知识:

 

词条 演绎定理
释义

基本信息

在数理逻辑中,演绎定理声称如果公式 F 演绎自 E,则蕴涵 E → F 是可证明的(就是或它可以自空集推导出来)。用符号表示,如果 <math> E \\vdash F </math>,则 <math> \\vdash E \\rightarrow F </math>。

演绎定理

简介:

演绎定理可以推广到假定公式的可数序列,使得从

<math> E_1, E_2, ... , E_{n-1}, E_n \\vdash F </math>,推出 <math> E_1, E_2, ... , E_{n-1} \\vdash E_n \\rightarrow F </math>,等等直到

<math> \\vdash E_1\\rightarrow(...(E_{n-1} \\rightarrow (E_n \\rightarrow F))...) </math>。

演绎定理是元定理: 在给定的理论中使用它来演绎证明,但它不是这个理论自身的一个定理。

这个定理的逆命题也成立。

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2025/3/3 19:10:44