证明:前提: "x(C(x)®W(x)∧R(x)), $x(C(x)∧Q(x)).结论: $x(Q(x)∧R(x)).
证明:前提: "x(C(x)®W(x)∧R(x)), $x(C(x)∧Q(x)).结论: $x(Q(x)∧R(x)).
发布时间：2025-08-13 19:58:34
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案：答案: (1) $x(C(x)∧Q(x)) 前提引入 (2) C(a)∧Q(a) (1)ES (3) C(a) (2)化简规则 (4) "x(C(x)®W(x)∧R(x)) 前提引入 (5) C(a)®W(a)∧R(a) (4)US (6) W(a)∧R(a) (3)(5)假言推理 (7) R(a) (6)化简规则 (8) Q(a) (2)化简规则 (9) R(a)∧Q(a) (7)(8)合取引入规则 (10) $x(Q(x)∧R(x)) (9)EG
相关试题
- 1.证明:前提: x(C(x)W(x)∧R(x)), x(C(x)∧Q(x))、结论: x(Q(x)∧R(x))、
- 2.证明:前提:-x(C(x) —; W(x) A R(x)), x(C(x) A Q(x)). 结论: x(Q(x) A R(x)).
- 3.证明:前提: "x(C(x)®W(x)∧R(x)), $x(C(x)∧Q(x)).结论: $x(Q(x)∧R(x)).
- 4.x)P(x,y)∧(?x)(Q(x,z)?(?x)(?y)R(x,y,z))中量词?x的辖域是( )A、(Q(x,z)?(?x)(?
- 5.公式(∀x)[P(x)∧Q(x,A)→(∃y)[E(x,y)∨S(y)]]中,∀x的辖域为(),∃y的辖域为()A．P(x); R(x, y)B．P(x) ꓥ Q(x, A); R(x, y)C．P(x
- 6.若f(x)=q(x)g(x) r(x), 则(f(x), g(x) )=(g(x), r(x) )。A．正确B．错误
- 7.若f(x)=q(x)g(x) r(x), 则(f(x), g(x) )=(g(x), r(x) )。A.正确B.错误
- 8.(∃x)(S(x)→R(x))=(∀x)S(x)→(∃x)R(x)
- 9.与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是（ ）。
- 10.Элементами множеств А, P, Q являются натуральные числа, причёмP={1,2,3,4,5,6,7,10}P={1,2,3,4,5,6,7,10
