下载APP
刷刷题APP > 自由变元
"自由变元"相关考试题目
1.
公式中哪些是自由变元?哪些是约束变元?
2.
公式中，只是约束变元，不是自由变元的是（）
3.
公式 的约束变元为___________，自由变元为________________。
4.
谓词公式: x(P(x,y) Q(x,y)) V R(x,y)中,所有的y都是自由变元。
5.
封闭的谓词公式是只有约束变元而没有自由变元的谓词公式。
6.
自由变元代入规则是指对某_____出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入，且_____。
7.
公式 ( " x) ( $ y)(P(x , z) → Q(y)) → S(x , y) 中的 约束变元和自由变元分别是 ( )
8.
对下列谓词公式中的自由变元进行代入．(1)(2)
9.
公式 中,自由变元是( ),约束变元是( )
10.
对公式$z(P(z)ÙQ(x,z)ÙM(z,y))ÚR(z)中自由变元代入后，有$z(P(z)ÙQ(u,z)ÙM(z,v))ÚR(z)
11.
指出下列公式中的约束变元和自由变元（∀x）（P（x）∧（∃x）Q（x））∨（（∀x）R（x，y）∧Q（z））
12.
对公式（∀x）（P（x，y）∧Q（y，z））指出约束变元和自由变元，并指出明量词的辖域。
13.
谓词公式("x)(A (x) ® B(x, y)) ÙR(x) 的自由变元为R(x)中的x和B(x, y)中的y。
14.
谓词公式 ,则其约束变元是 ________,自由变元是________.
15.
指出下面各式的自由变元和约束变元，并决定量词的辖域．
16.
公式 的约束变元为________________，自由变元为________________
17.
∀x P(x)∧∃yQ(x,y）整个谓词公式中有两个量词。∀x的辖域为P(x)，P(x)中的x和Q(x,y) 中的y是约束变元，Q(x,y)中的x是自由变元。
18.
将下列各式改名,使自由变元和约束变元不用相同的符号: (1) (2)
19.
()每个量词的约束变元和自由变元是否有同名者。
20.
对下列公式运用换名规则改写,使得自由变元和约束变元不用相同的符号:
21.
下面的命题公式中,不存在自由变元的是( )。
22.
公式【图片】中，只是约束变元，不是自由变元的是（）
23.
公式∀x（（A（x）→B（y，x））∧∃z C（y，z））→D（x）中，自由变元是
24.
下列公式中,( )中的和都既是自由变元又是约束变元。
25.
在谓词公式 中y是自由变元.
26.
谓词公式 $x(F(x)ÙG(x,y)) 不是闭式 ，因为含有自由变元。（ ）
27.
中的自由变元为 = 。
28.
下列公式中变元 y 是自由变元的为
29.
谓词公式中无任何自由变元，是闭式。
30.
线性规划变标准形时,约束条件 x 1 +3x 2 +2x 3 <=5,x 2 为自由变元,应变化为下列哪种形式
31.
在谓词公式( x)(P(x,y)→Q(x,z))∨( x)R(x,z)中y是自由变元
32.
指出A（z）→（¬∀x∀yB（x，y，a））中的自由变元和约束变元，并指明量词的辖域。
33.
指出个体变元是约束变元还是自由变元
34.
公式（∃x）（（P（x,y）→Q（z） ）R（z））的约束变元为_______ ，自由变元为_______ 。
35.
下面哪个公式没有自由变元（）
36.
对下列谓词公式分别指出哪些是约束变元?哪些是自由变元?并指出各量词的辖域。 (1)( ?x)(P(x，y)∨(?y)(Q(x，y)∧R(x，y))) (2)( ?z)( ?y)(P(z，y)∨Q(z，x))∨R(u，v)
37.
在求取前束范式时，可以对自由变元进行“换名”吗？
38.
对公式（∀x）（∀y）（P（x）∨Q（y））→（R（x）∧S（z））指出约束变元和自由变元，并指出明量词的辖域。
39.
公式∀x（P（x）→Q（x，y）∨∃zR（y，z））→S（u）中自由变元为（），约束变元为（）
40.
( )p(f(x),y)中x为自由变元,y为约束变元
41.
公式∀x（P（x）→Q（x，y））∨∃x（R（y，x）→S（x））的自由变元是（），约束变元是（）。
42.
谓词公式中不包含自由变元的式子为_______,它的真值通过解释就可以确定。
43.
公式中自由变元是什么?约束变元是什么?公式 （1)(Ax)(R(x)→(Ez)F(x,z)) （2）(Ex)P(y) （3)(Ax)R(x)∧Q(x) 中自由变元是什么?约束变元是什么?
44.
谓词公式中，变元y既是自由变元，又是约束变元。
45.
指出下列公式中的约束变元和自由变元（∃x）（∀y）（R（x，y）∧Q（z））
46.
公式 的约束变元为________，自由变元为________。
47.
公式∀ x((A(x) → B(y,x)) ∧ ∃z C(y,z)) → D(x) 中,自由变元是____,约束变元是____。
48.
谓词公式中个体变元分为自由变元和约束变元。如: 中,P(x)中的x属于( ),Q(x)中的x属于( )。(填:自由变元 或 约束变元)
49.
谓词命题公式 ( " x )(( A ( x ) Ù B ( x )) Ú C ( y )) 中的 自由 变元 为 .
50.
指出下列公式的约束变元和自由变元，并指出约束变元受什么量词的约束．(1)(2)(3)(4)
