来自马小陆的问题
用量词、谓词和逻辑运算符来表示唯一性量词
用量词、谓词和逻辑运算符来表示唯一性量词
欲表示唯一性量词需借助于等词"="(一种特殊的谓词),唯一性量词表示如下:
AxAy(P(x)∧P(y)→x=y)
如果表示的是存在唯一性量词,则表示如下:
ExP(x)∧AxAy(P(x)∧P(y)→x=y)
Ax表示全称量词,Ex表示存在量词.
大家都在问
最新问答
海冰含盐量接近淡水，...2020-12-30
三峡游山峰一下子就被...2020-12-30
二元一次方程简单的配...2020-12-30
【偏裨将校是什么意思...2020-12-30
如图秒表的读数为__...2020-12-30
____abigfi...2020-12-30
【知道本金和税后利息...2020-12-30
《一百条裙子》读后感...2020-12-30
利用矩阵解二元一次方...2020-12-30
【英语中的peasa...2020-12-30