量词!表示“有且仅有",!xP(x)表示有且仅有一个个体满足谓词P(x).试用量词,,等号“=”及谓词P

量词<img src='https://img2.soutiyun.com/ask/2021-01-01/978369360923964.png' />!表示“有且仅有",<img src='https://img2.soutiyun.com/ask/2021-01-01/978369360923964.png' />!xP(x)表示有且仅有一个个体满足谓词P(x).试用量词<img src='https://img2.soutiyun.com/ask/2021-01-01/978369410065775.png' />,<img src='https://img2.soutiyun.com/ask/2021-01-01/978369360923964.png' />,等号“=”及谓词P(x)表示<img src='https://img2.soutiyun.com/ask/2021-01-01/978369360923964.png' />!P(x),即写出一个通常的谓词公式使之与<img src='https://img2.soutiyun.com/ask/2021-01-01/978369360923964.png' />!xP(x)具有相同的意义.

时间:2023-02-14 15:11:09

相似题目