用量词、谓词和逻辑运算符来表示唯一性量词-查字典问答网
分类选择

来自马小陆的问题

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

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

1回答
2020-12-21 09:08
我要回答
请先登录
管海军

  欲表示唯一性量词需借助于等词"="(一种特殊的谓词),唯一性量词表示如下:

  AxAy(P(x)∧P(y)→x=y)

  如果表示的是存在唯一性量词,则表示如下:

  ExP(x)∧AxAy(P(x)∧P(y)→x=y)

  Ax表示全称量词,Ex表示存在量词.

2020-12-21 09:11:33

最新问答

推荐文章

猜你喜欢

附近的人在看

推荐阅读

拓展阅读

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •