下载APP
刷刷题APP > 约束出现
"约束出现"相关考试题目
1.
公式xP(x)∧(R(x)→Q(x))中,x约束出现了次。( )
2.
p71:8(2)x自由出现 次,约束出现 次;y自由出现 次,约束出现 次.
3.
公式x (P(x)∧┐xQ(x))→Q(x)中,x约束出现了次。( )
4.
p71:8(1)x自由出现 次,约束出现 次;y自由出现 次,约束出现 次.
5.
公式yP(y)∧x(R(x)→Q(x))中,y约束出现了次( )。
6.
公式∀x(F(x,y,z)→G(x,y))∧H(x,y,z)中,x约束出现 次。
7.
" x $ y(F(x,y) ∧ G(y,z)) ∨ $ x H(x,y,z)中x自由出现 次,约束出现 次;y自由出现 次,约束出现 次;z自由出现 次,约束出现 次.
8.
" xF(x,y) → $ yG(x,y)中x自由出现 次,约束出现 次;y自由出现 次,约束出现 次.
9.
" x(F(x) → G(x,y))中 x自由出现 次,约束出现 次;y自由出现 次,约束出现 次.
10.
p71:8(3)x自由出现 次,约束出现 次;y自由出现 次,约束出现 次;z自由出现 次,约束出现 次.