在指定的解释下，下列公式为真的是()
A: ("x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}
B: ($x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2}
C: ($x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
D: ("x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
A: ("x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2}
B: ($x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2}
C: ($x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
D: ("x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
举一反三
- 设P={x|x＞0}，Q={x|-1＜x＜2}，那么P∩Q=（ ）
- 对于公式[img=8x14]17e4385a99bb660.jpg[/img]x(P(x)∨Q(x))，其中P(x)：x=1， Q(x)：x=2，当论域为{0,1,2}时，时，其真值为________。
- 以下谓词公式中，( )不是逻辑有效式。 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))
- 设P={x|x2—4x+3<0}，Q={x|x(x-1)>2}，则P∩Q等于（） A: {x B: x>3} C: {x D: -1 E: {x F: 2 G: {x H: 1