问答题
简答题
若定义惟一性量词(∃!x)为“存在惟一的一个x”,则(∃!x)P(x)表示“存在惟一的一个x使P(x)为真”。试用量词,谓词及逻辑运算符表示(∃!x)P(x)。
【参考答案】
点击查看答案
