当个体域为有限集时，如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: ∀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={a1，a2，…，an}，对任意谓词A(x)都有( )。
- 将[img=164x88]18031a588c7a3a7.png[/img]转换为程序表达式，正确的是： A: x = a0 + ( a3 + a4 ) / ( a1 + 1) B: x = a0+ ( a3 + a4 ) / ( a1 + 1 / ( a2 + 1 / a3 )) C: x = a0 + a3 + a4 / a1 + 1 / a2 / a2 + 1 / a3 D: x = a0 + a3 + ( a4 / ( a1 + 1 / a2 )) / a2
- 请将[img=111x58]18031a584b8abaa.png[/img]写成程序表达的形式 A: x = a0 + 1 / a1 + 1 / a2 + 1 / a3 + a4 B: x = (a0 + 1) / (a1 + 1) / (a2 + 1) / (a3 + a4) C: x = a0 + (1 / a1 + (1 / a2 + (1 / a3 + a4))) D: x = a0 + 1 / (a1 + 1 / (a2 + 1 / (a3 + a4)))
- 当x=____时，a1=（2,1，−1），a2=（−1，−3,3），a3=（2,3，x）线性相关. A: 0 B: -1 C: -2 D: -3