“演绎定理”的意思、由来及中英文翻译是什么-中文百科知识-开放百科全书

词条	演绎定理
类别	中文百科知识
释义	演绎定理谓词演算的重要定理。在一阶谓词演算中给定公式A₁,A₂，……，Am(m>0)，令A=A₁∧A₂∧……∧A_m，如果从A可以推出公式B，推导中A的自由变元保持不变，A→B为合式公式，则A→B是谓词演算中一定理，即 A→B。演绎定理可用于简化谓词演算中定理的证明。
随便看	德汉谚语词典德汉道路工程词典德汉铁路德汉铁路词典德江县德江县风景旅游线开发德沃夏克德沃金德沛德治德法年鉴德波林德洛普人德洛莫信件德济德清公主德清县德清县志德清县旅游局德清县美都旅行社有限公司德清扫蚕花地德清港德清窑址德清窑黑釉鸡首瓷壶德清行书住山法语卷

开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。