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

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

答案：↓↓↓

管海军的回答：

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