【谓词演算公式在个体域上的指派﹡名词解释如下】
谓词演算公式在个体域上的指派名词解释：
一种映射.指局限于公式中符号的指派.设谓词演算公式α中含有自由的个体变元x1,x2,…,xm;命题变元p1,p2,…,pn;谓词变元R1,R2,…,Rj;函词变元F1,F2,…,Fk.公式α在个体域I上的指派是满足下列条件的映射σ名词解释：
1.σ(xi)∈I (i=1,2,…,m).
2.σ(pi)∈{T,F} (i=1,2,…,n).
3.σ(Ri)为I上的一个具体的ni元谓词(i=1,2,…,j).
4.σ(Fi)为I上的一个具体的ni元函词(i=1,2,…,k).
免责声明：本文内容源于网友提供或网络搜集，仅供个人研究、交流学习使用，转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容，请通知本站客服更改或删除。
相关阅读：
机械设计基础课件微观经济学试题
宏观经济学考试试题
自动控制原理课后答案
吉林师范大学职教部
二级建造师试题下载
河北大学公费研究生
新视野大学英语2答案
宏观经济学试题及答案
大学英语2课后答案
