当个体域为有限集时，如D={a1，a2，…，an}，对任意谓词A(x)都有( )。
举一反三
- 当个体域为有限集时,如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)
- 当个体域为有限集时，如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)
- 设个体域D＝{1, 2, 3}，A(x)为“x大于3”，则谓词公式([img=8x14]17e4385a99bb660.jpg[/img]x)A(x) 的真值为__________．
- 取个体域为整数集，则谓词公式"x"y(x ´ y = y ) 是假命题。
- 设个体域{1,2}，谓词P(1)=1，P(2)=0，Q(1)=0,Q(2)=1，则∀x（P(x) ∨Q(x)）的真值是1。