作业帮 > 数学 > 作业

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

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/04/29 17:41:27
用量词、谓词和逻辑运算符来表示 唯一性量词
欲表示唯一性量词需借助于等词"="(一种特殊的谓词),唯一性量词表示如下:
AxAy(P(x)∧P(y)→x=y)
如果表示的是存在唯一性量词,则表示如下:
ExP(x)∧AxAy(P(x)∧P(y)→x=y)
Ax表示全称量词,Ex表示存在量词.