证明:前提:-x(C(x) —; W(x) A R(x)), x(C(x) A Q(x)). 结论: x(Q(x) A R(x)).
证明:前提:-x(C(x) —; W(x) A R(x)), x(C(x) A Q(x)). 结论: x(Q(x) A R(x)).
发布时间：2025-07-31 08:48:08
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案：答案:(1)x(C(x) A Q(x)) 前提引入(2)C(a) A Q(a) (1)ES(3)C(a) (2) 化简规则(4)-x(C(x) >W(x) A R(x)) 前提引入(5) C(a)—W(a) A R(a)(4)US⑹ W(a)A R(a)⑶(5)假言推理(7) R(a)(6)化简规则(8) Q(a)(2)化简规则(9) R(a)A Q(a)⑺(8)合取引入规则(10) x(Q(x) A 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)P(x,y)∧(?x)(Q(x,z)?(?x)(?y)R(x,y,z))中量词?x的辖域是( )A、(Q(x,z)?(?x)(?
- 4.公式(∀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
- 5.若f(x)=q(x)g(x) r(x), 则(f(x), g(x) )=(g(x), r(x) )。A．正确B．错误
- 6.若f(x)=q(x)g(x) r(x), 则(f(x), g(x) )=(g(x), r(x) )。A.正确B.错误
- 7.与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是（ ）。
- 8.Элементами множеств А, P, Q являются натуральные числа, причёмP={1,2,3,4,5,6,7,10}P={1,2,3,4,5,6,7,10
- 9.Элементами множеств А, P, Q являются натуральные числа, причёмP={1,2,3,4,5,6,7,10}P={1,2,3,4,5,6,7,10
- 10.把 "x ( P( x )®$ y Q( x ,y ))化为前束范式，推导过程正确吗？
