求解一道离散数学题
没有不守引用的人是可以信赖的；有些可以信赖的人是受过教育的。因此，有些受过教育的人是守引用的。令个体域为人类集合，P(x):x是守信用的人；Q(x):x是可以信赖的人，S...
没有不守引用的人是可以信赖的；有些可以信赖的人是受过教育的。因此，有些受过教育的人是守引用的。
令个体域为人类集合，P(x):x是守信用的人；Q(x):x是可以信赖的人，S(x):x是受过教育的人。 展开
令个体域为人类集合，P(x):x是守信用的人；Q(x):x是可以信赖的人，S(x):x是受过教育的人。 展开
1个回答
展开全部
（A是全称量词E是存在量词）前提；Ax(Q(x)→P(x))，Ex(Q(x)∧S(x)) 结论：Ex(S(x)∧P(x))证明1. Ex(Q(x)∧S(x)) 2.Q(c)∧S(c) 3.Q(c) 4.S(c) 5.Ax(Q(x)→P(x)) 6.Q(c)→P(c) 7.P(c) 8.S(c)∧P(c) 9.Ex(S(x)∧P(x))
参考资料： 100字限制，太烦人了，自己看着吧
本回答由提问者推荐
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
