演绎定理 Deduction theorem

（重定向自Resolution theorem）

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

演绎定理可以推广到假定公式的可数串行，使得从

$E_1, E_2, ... , E_{n-1}, E_n \vdash F$ ，推出 $E_1, E_2, ... , E_{n-1} \vdash E_n \rightarrow F$ ，等等直到 $\vdash E_1\rightarrow(...(E_{n-1} \rightarrow (E_n \rightarrow F))...)$ 。

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

演绎元定理是最重要的元定理之一。在某些逻辑系统中，它被接受为是“→”的介入规则的一个推理规则。在其他系统中，从公理证明它是证明这个逻辑是完备的首要任务。不使用演绎元定理在命题逻辑中证明任何东西都是非常困难的。如果你使用了它通常就很容易了。

词汇	Resolution theorem
分类	英语词汇英语翻译词典
释义	Resolution theorem 中文百科演绎定理 Deduction theorem （重定向自Resolution theorem）在数理逻辑中，演绎定理声称如果公式 F 演绎自 E，则蕴涵 E → F 是可证明的(就是或它可以自空集推导出来)。用符号表示，如果 $E \vdash F$ ，则 $\vdash E \rightarrow F$ 。演绎定理可以推广到假定公式的可数串行，使得从 $E_1, E_2, ... , E_{n-1}, E_n \vdash F$ ，推出 $E_1, E_2, ... , E_{n-1} \vdash E_n \rightarrow F$ ，等等直到 $\vdash E_1\rightarrow(...(E_{n-1} \rightarrow (E_n \rightarrow F))...)$ 。演绎定理是元定理: 在给定的理论中使用它来演绎证明，但它不是这个理论自身的一个定理。演绎元定理是最重要的元定理之一。在某些逻辑系统中，它被接受为是“→”的介入规则的一个推理规则。在其他系统中，从公理证明它是证明这个逻辑是完备的首要任务。不使用演绎元定理在命题逻辑中证明任何东西都是非常困难的。如果你使用了它通常就很容易了。英语百科 Deduction theorem 演绎定理（重定向自Resolution theorem） In mathematical logic, the deduction theorem is a metatheorem of first-order logic. It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then deriving B from this assumption conjoined with known results. The deduction theorem explains why proofs of conditional sentences in mathematics are logically correct. Though it has seemed "obvious" to mathematicians literally for centuries that proving B from A conjoined with a set of theorems is sufficient to proving the implication A → B based on those theorems alone, it was left to Herbrand and Tarski to show (independently) this was logically correct in the general case.
随便看	hyperconnection hyperconnections Hyperconnectivity hyperconscious hyperconsciousness hyperconsciousnesses hyperconserved Hyperconsumerism hyperconsumerist Hyperconsumption hypercontracted hypercontractile Hypercontractile gallbladder hypercontractility hypercontraction hypercontractivity hypercontrolled hyperconvex Hyperconvexity Hyperconvolution hypercoracoid hypercoria hypercorrect hypercorrection hypercorrectly 深浅的情感散文是什么意思无字情书ad是什么意思牵挂情感语录女声版是什么意思阿兵催泪情书是什么意思短篇情感语录是什么意思黄花意像所表达的情感是什么意思情感对联文案短句图片带字是什么意思简单粗暴的情感语录是什么意思文字表达自己情感是什么意思浣溪沙李璟表达的情感是什么意思情感散文短篇书籍大全推荐是什么意思古风爱情书籍是什么意思警示婚姻情感的文案是什么意思散文情感文章素材高中生是什么意思原创情感视频素材文案范文是什么意思老公和别的女人开房了怎么办老公和前妻纠缠不清怎么办我老公好像出轨我室友了，我该怎么办老公外面有人了,我该怎么办在老公租的房子里发现避孕套我老公好像出轨了，我不知道该怎么办怀了已婚男人的孩子,我该怎么办老婆一直和别的男人聊天怎么办老公在办公室和别的女人亲热，怎么办老公出轨了可我还爱着他怎么办老婆在外面有男人了怎么办老公在外面找女人了怎么办老公发现我出轨了,我该怎么办情人要我离婚和他结婚，我该离婚吗老公和别的女人开房了怎么办 mind of negligent crime mind of nonprotection mind of not fearing punishment mind of occasional offense mind of offender suicide mind of offense for self show mind of offense in drunkenness mind of overt offender mind of passionate convict mind of penalty mind of playful offense mind of poisoning crime mind of professional crime mind of public prosecutor mind of raper 月亮双月亮天蝎合适吗月亮天蝎月亮白羊合适吗月亮天蝎月亮天蝎合适吗月亮天蝎月亮天蝎合适吗月亮金牛月亮天蝎合适吗月亮双月亮天蝎合适吗月亮狮子月亮天蝎合适吗月亮天蝎月亮天蝎合适吗月亮摩羯座月亮天蝎合适吗月亮双鱼月亮天蝎合适吗月亮天蝎月亮天蝎合适吗月亮天蝎月亮双鱼合适吗月亮天蝎月亮天蝎合适吗金星天蝎月亮天蝎太阳天蝎的区别太阳天蝎月亮天蝎的人的内心需求

Resolution theorem

演绎定理 Deduction theorem

Deduction theorem 演绎定理