[] [] [] 发布人:文得学习网 发布日期:2022-01-26 共51人浏览过

【谓词演算替换定理﹡名词解释如下】

谓词演算在个体域上的指派名词解释:
一种映射.指谓词演算形式系统的语义解释.个体域I上的指派是满足下列条件的映射σ名词解释:

1.对每一个命题变元p,σ(p)∈{T,F}.
2.对每一个个体变元x,σ(x)∈I.
3.对每一个谓词变元R,σ(R)为I上的一个具体的n元谓词.
4.对每一个函词变元F,σ(F)为I上的一具体的n元函词.

关注VX公众号【文得课堂】免费领取考试资料。



免责声明:本文内容源于网友提供或网络搜集,仅供个人研究、交流学习使用,转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容,请通知本站客服更改或删除。

相关阅读:

语言学教程胡壮麟
山西招考网
理论力学课后习题答案
国际贸易实务课后答案
分析化学第六版答案
自考中国近代史纲要
大学英语综合教程3
厦门大学法学院地址
信用社考试复习资料
政治经济学试题
化工原理第二版答案
兰州商学院成人教育