用量词、谓词和逻辑运算符来表示 唯一性量词
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:数学作业 时间:2024/07/14 19:40:11
用量词、谓词和逻辑运算符来表示 唯一性量词
![用量词、谓词和逻辑运算符来表示 唯一性量词](/uploads/image/z/2863418-50-8.jpg?t=%E7%94%A8%E9%87%8F%E8%AF%8D%E3%80%81%E8%B0%93%E8%AF%8D%E5%92%8C%E9%80%BB%E8%BE%91%E8%BF%90%E7%AE%97%E7%AC%A6%E6%9D%A5%E8%A1%A8%E7%A4%BA+%E5%94%AF%E4%B8%80%E6%80%A7%E9%87%8F%E8%AF%8D)
欲表示唯一性量词需借助于等词"="(一种特殊的谓词),唯一性量词表示如下:
AxAy(P(x)∧P(y)→x=y)
如果表示的是存在唯一性量词,则表示如下:
ExP(x)∧AxAy(P(x)∧P(y)→x=y)
Ax表示全称量词,Ex表示存在量词.
AxAy(P(x)∧P(y)→x=y)
如果表示的是存在唯一性量词,则表示如下:
ExP(x)∧AxAy(P(x)∧P(y)→x=y)
Ax表示全称量词,Ex表示存在量词.