下面谓词公式中哪一个为永真式?
A: P(x)® Q(x)
B: ("x)P(x)®($x)P(x)
C: P(a)®("x)P(x)
D: Ø P(a)®($x)P(x)
A: P(x)® Q(x)
B: ("x)P(x)®($x)P(x)
C: P(a)®("x)P(x)
D: Ø P(a)®($x)P(x)
举一反三
- 下面谓词公式中哪一个为永真式? A: P(x)® Q(x) B: ("x)P(x)®($x)P(x) C: P(a)®("x)P(x) D: Ø P(a)®($x)P(x)
- ( )不是有效的推理。 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)(P(x)∧Q(x)) Þ ($x) P(x)∧($x) Q(x) B: ("x)(P(x)∧Q(x)) Þ ("x) P(x)∧("x) Q(x) C: ($x)(P(x)∧Q(x)) Û ($x) P(x)∧($x) Q(x) D: ("x)(P(x)∧Q(x)) Û ("x) P(x)∧("x) Q(x)
- 以下谓词公式中,( )不是逻辑有效式。 A: ($x) P(x)∨($x) Q(x) Þ ($x)(P(x)∨Q(x)) B: ("x) P(x)∨("x) Q(x) Þ ("x)(P(x)∨Q(x)) C: ($x) P(x)∨($x) Q(x) Û ($x)(P(x)∨Q(x)) D: ("x) P(x)∨("x) Q(x) Û ("x)(P(x)∨Q(x))
- 与公式("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)