下载APP
刷刷题APP > 自由出现
"自由出现"相关考试题目
1.
p71:8(2)x自由出现 次,约束出现 次;y自由出现 次,约束出现 次.
2.
设A（x），B（x）均为含x自由出现的公式，则公式的类型为（）。
3.
p71:8(1)x自由出现 次,约束出现 次;y自由出现 次,约束出现 次.
4.
在公式："x(F(x)®G(x) ÙH(y) ) Ù$zR(z)中，自由出现的变元是
5.
" x $ y(F(x,y) ∧ G(y,z)) ∨ $ x H(x,y,z)中x自由出现 次,约束出现 次;y自由出现 次,约束出现 次;z自由出现 次,约束出现 次.
6.
" xF(x,y) → $ yG(x,y)中x自由出现 次,约束出现 次;y自由出现 次,约束出现 次.
7.
设A(x)中x自由出现,B中无x自由出现。则 (∀x) (A(x)→B)⇔∀xA(x)→B
8.
" x(F(x) → G(x,y))中 x自由出现 次,约束出现 次;y自由出现 次,约束出现 次.
9.
p71:8(3)x自由出现 次,约束出现 次;y自由出现 次,约束出现 次;z自由出现 次,约束出现 次.
