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

分类: 作业答案 • 2022-02-03 21:51:11

问题描述：

答

欲表示唯一性量词需借助于等词"="(一种特殊的谓词),唯一性量词表示如下:
AxAy(P(x)∧P(y)→x=y)
如果表示的是存在唯一性量词,则表示如下:
ExP(x)∧AxAy(P(x)∧P(y)→x=y)
Ax表示全称量词,Ex表示存在量词.

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