用量词、谓词和逻辑运算符来表示唯一性量词
<p>问题：用量词、谓词和逻辑运算符来表示唯一性量词<p>答案：↓↓↓<p class="nav-title mt10" style="border-top:1px solid #ccc;padding-top: 10px;">管海军的回答：<div class="content-b">网友采纳 欲表示唯一性量词需借助于等词"="(一种特殊的谓词),唯一性量词表示如下: AxAy(P(x)∧P(y)→x=y) 如果表示的是存在唯一性量词,则表示如下: ExP(x)∧AxAy(P(x)∧P(y)→x=y) Ax表示全称量词,Ex表示存在量词.
页:
[1]