离散数学:利用谓词推理理论来检验下述推理的有效性.

2024-12-15 21:12:49

推荐回答（1个）

回答1：

谓词公式为：
设M(x):x是学生,Q(x):x是老师, R(x):x是骗子, S(x,y):x相信y
前提：∃x(M(x) ∧∀y(Q(y)→S(x,y))), ∀x(M(x)→∀y(R(y)→┐S(x,y)))
结论；∀x(Q(x)→┐R(x))

证明；
(1) ∃x(M(x) ∧∀y(Q(y)→S(x,y))) P
(2) M(a) ∧∀y(Q(y)→S(a,y) ) ES(1)
(3) M(a)→∀y(R(y)→┐S(a,y)) US(2)
(4) M(a) 　　　　 T(2)I
(5) ∀y(R(y)→┐S(a,y)) 　T(3)(4)I
(6) ∀y(Q(y)→S(a,y)) 　　T(1)I
(7) R(b)→┐S(a,b) 　　 US(5)
(8) Q(b)→S(a,b) 　　US(6)
(9) S(a,b) →┐R(b) 　T(7)E
(10) Q(b)→┐R(b) 　　T(8)(9)I
(11) ∀x( Q(x)→┐R(x)) 　　 UG(10)

最新问答

如何设置网站404页面返回状态码是404

光纤能弯曲多少度

铜陵学院专升本考试，会计专业，考专业课能带计算器吗？

月经咖啡色是什么原因?

趣味运动会的感想五百字怎么写

大学校园自助洗衣机的前景？

入职需要毕业证复印件，可我的毕业证丢了还没补呢，怎么办啊？学信网上有吗？能不能打印出来？

这次传递奥运圣火要在几个国家进行传递?

老朋友和新朋友，谁更重要？

笔记本内置麦克风声音很小但是听对方的声音很清楚怎么解决？