在指定的解释下，下列公式为真的是() 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}

公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！

2022-06-11

在指定的解释下，下列公式为真的是() 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}

答案：

A

举一反三

内容

0
设个体域{1,2}，谓词P(1)=1，P(2)=0，Q(1)=0,Q(2)=1，则∀x（P(x) ∨Q(x)）的真值是1。
1
∀x(P(x)∧Q(x))的否定是？ A: ∃x(P(x)∧Q(x)) B: ∃x(¬P(x)∨Q(x)) C: ∃x(¬P(x)∨¬Q(x)) D: ∃x(¬P(x)∧¬Q(x))
2
已知集合P={x|x（x-3）＜0}，Q={x||x|＜2}，则P∩Q=______．
3
公式A＝∃x（P（x）→Q（x））的解释I为：个体域D＝｛2｝，P（x）：x＞3，Q（x）：x＝4，则A的真值为
4
前提：∀x(P(x)→Q(x))，∃xP(x) ⇒∃xQ(x) (1)∀x(P(x) → Q(x)) 前提 (2) ∃xP(x) 前提 (3) P(c) (2), Es规则 (4)P(c)→Q(c) (1), Us规则 (5) Q(c) (3)(4), 假言推理I (6)∃xQ(x) (5), Eg规则上述推理过程是否正确？