【谓词演算公式在个体域上的指派﹡名词解释如下】
个体域上的永真公式名词解释:
一类基本公式.指对于个体域I上的任一指派的值均为真的公式.例如,α为公式(x)[xy],I为自然数域,则α是I上的永真公式,因为无论指派y以什么样的自然数,总存在xy,从而α为真.个体域I上的永真公式均为个体域I上的可满足公式.

免责声明:本文内容源于网友提供或网络搜集,仅供个人研究、交流学习使用,转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容,请通知本站客服更改或删除。
相关阅读:
吉芬商品吉芬产品
考试资料
机械原理课后答案
考试资料网
stay歌词
电磁学第二版答案
山西招生考试网首页
电路分析第五版答案
机械设计课后答案
曼昆宏观经济学试题