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

0上流少爷0 2023-03-17 05:28

• 

  0o冰凌泡沫o0

  2023-03-17 06:26

  欲表示唯一两口庆性量词需借助于等词"="(一种360问答特殊的谓词),唯一性量词表示如下:AxAy(P(x)∧P(y)→x=y)如果表示的是存在唯一性量词,则表示如下:ExP(x)∧AxAy(P(x)∧P(y)→x=y社却汽们项准致意毛决)Ax表示全称量词,Ex表示存在量词.
  0 讨论(0)
  发布评论:

  提交评论

  ---

  •  加载中...