对任意的公式P(x),Ø$xØP(x)逻辑等值于( )。
A: Ø$xP(x)
B: "xP(x)
C: Ø"xØP(x)
D: ØØ"yP(y)
A: Ø$xP(x)
B: "xP(x)
C: Ø"xØP(x)
D: ØØ"yP(y)
B,D
举一反三
- 对任意的公式P(x),"xØP(x)逻辑等值于( )。 A: "xP(x) B: Ø$xP(x) C: Ø"xØP(x) D: Ø$yP(y)
- 与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是( )。 A: ("x)(P(x)∧Q(x, z))Þ($x)R(x, y) B: ("y)(P(y)∧Q(y, y))Þ($x)R(x, y) C: ("z)(P(z)∧Q(x, y))Þ($x)R(x, y) D: ("u)(P(u)∧Q(u, z))Þ($x)R(x, z)
- ( )不是有效的推理。 A: 前提:("x)(~P(x)ÞQ(x)), ("x)~Q(x)结论:P(a) B: 前提:("x)(P(x)ÞQ) 结论:("x)P(x)ÞQ C: 前提:("x)(P(x)∨Q(x)), ("x)(Q(x)Þ~R(x)) 结论:($x)(R(x)ÞP(x)) D: 前提:("x)(P(x)Þ(Q(x)∧R(x))), ($x)(P(x)∧S(x))结论:("x)(R(x)∧S(x)) E: 前提:("x)($y)P(x, y)结论:("x)($y)($z)(P(x, y)∧P(y, z)) F: 前提:("x)P(x)∨("x)Q(x)结论:("x)(P(x)∨Q(x)) G: 前提:("x)(G(x)ÞH(x)),~($x)(F(x)∧H(x))结论:($x)F(x)Þ($x)G(x) H: 前提:("x)(H(x)ÞM(x))结论:("x)("y)(H(y)∧N(x, y)) Þ ($y)(M(y)∧N(a, y) )
- 以下谓词公式中,( )是逻辑有效式。 A: "x Q(x) Þ ($x Q(x)∨"y S(y) ) B: $x(A(x)ÞB) Û $xA(x)ÞB C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x) D: "x$y P(x,y) Þ $x"y P(x,y)
- 下面谓词公式中哪一个为永真式? A: P(x)® Q(x) B: ("x)P(x)®($x)P(x) C: P(a)®("x)P(x) D: Ø P(a)®($x)P(x)
内容
- 0
以下推理过程是正确的.(1) ("x)($y)P(x,y) P规则(2) ("x) P(x,a) US, (1) A: 正确 B: 错误
- 1
对公式∀x∀y(P(x,y)∨Q(x,z))∧∃xP(x,y)使用代入和换名规则后得到的公式为( )。 A: ∀u∀y(P(u,y)∨Q(u,z))∧∃wP(w,s) B: ∀x∀u(P(x,u)∨Q(x,z))∧∃xP(x,y) C: ∀x∀y(P(x,y)∨Q(x,u))∧∃xP(x,s) D: ∀x∀y(P(x,y)∨Q(x,z))∧∃uP(u,z)
- 2
下列命题能表明用全称量词可以定义存在量词的是: A: 对任意公式A,"xA与Ø$xØA逻辑等值。 B: 对任意公式A,$xA与Ø"xØA逻辑等值。 C: 对任意公式A,Ø"xA与$xØA逻辑等值。 D: 对任意公式A,"xØA与Ø$xA逻辑等值。
- 3
设个体域A={a,b},公式"xP(x)Ù$xS(x)在A中消去量词后应为 A: P(x)ÙS(x) B: (P(a)ÙP(b))Ù(S(a)ÚS(b)) C: P(a)ÙS(b) D: P(a)ÙP(b)ÙS(a)ÙS(b)
- 4
int x = 3,y = 4;以下哪条输出语句正确? A: Console.WriteLine("x={x},y={y}", x,y); B: Console.WriteLine("x={x},y={y}"); C: Console.WriteLine("x={0},y={1}", x,y); D: Console.WriteLine("x={1},y={2}", x,y);