【谓词演算替换定理﹡名词解释如下】
谓词演算替换定理名词解释：
谓词演算的重要定理之一.该定理断言名词解释：
谓词公式中的某个子公式被与其等价的公式代换,其真值不变.设α,β,γ均为谓词演算公式.α,β中仅含自由的个体变元x1,x2,…,xn,β在γ中有一个出现,则从α(x1,x2,…,xn)≡β(x1,x2,…,xn)可得
免责声明：本文内容源于网友提供或网络搜集，仅供个人研究、交流学习使用，转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容，请通知本站客服更改或删除。
相关阅读：
河北大学公费研究生新视野大学英语2答案
宏观经济学试题及答案
大学英语2课后答案
实际利率
西安理工大学体育部
2012初试成绩
宁夏大学计算机学院
聊城大学外语教学网
廖青
薛有志
