题目内容

当个体域为有限集时，如D={a1，a2，…，an}，对任意谓词A(x)都有()。

A. ∀xA(x)⇔A(a1)∧A(a2)∧…∧A(an)
B. ∃xA(x)⇔A(a1)∧A(a2)∧…∧A(an)
C. ∀xA(x)⇔A(a1)∨A(a2)∨…∨A(an)
D. ∃xA(x)⇔A(a1)∨A(a2)∨…∨A(an)

查看答案

搜索结果不匹配？点我反馈

更多问题

谓词公式如同命题公式，根据真值可分为永真式、矛盾式和可满足式。

A. 对
B. 错

设A、B是任意两个谓词公式，对A、B的任何赋值，若其真值相同，则称A与B是等价的，记作A ⇔B；若A→B是有效的，则称A蕴含B，记作A=>B。

A. 对
B. 错

谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。

A. 对
B. 错

一般情况下，一个谓词公式不是命题，只有当将谓词公式中的各种变元用指定的特殊的常元去代替，才能构成一个命题。这种代替就是对公式的一个解释。

A. 对
B. 错