[] [] [] 发布人:考试题库网 发布日期:2022-01-26 共33人浏览过

【谓词演算在个体域上的指派﹡名词解释如下】

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

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

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



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

相关阅读:

中医基础理论试题
电路第五版课后答案
甘肃农业大学工学院
电路第五版答案
2010年mba
英语六级答案购买
湖南省委党校网
金融市场学课后答案
新疆财经大学mba
微观经济学高鸿业
中医基础理论电子书
心理学硕士点
江西南昌大学医学院
河北经贸大学学位办