用量词、谓词和逻辑运算符来表示 唯一性量词

问题描述:

用量词、谓词和逻辑运算符来表示 唯一性量词
1个回答 分类:数学 2014-09-25

问题解答:

我来补答
欲表示唯一性量词需借助于等词"="(一种特殊的谓词),唯一性量词表示如下:
AxAy(P(x)∧P(y)→x=y)
如果表示的是存在唯一性量词,则表示如下:
ExP(x)∧AxAy(P(x)∧P(y)→x=y)
Ax表示全称量词,Ex表示存在量词.
 
 
展开全文阅读
剩余:2000
上一页:这一步看不懂
下一页:这题详细解释