求解一道离散数学题

Question

没有不守引用的人是可以信赖的；有些可以信赖的人是受过教育的。因此，有些受过教育的人是守引用的。
令个体域为人类集合，P(x):x是守信用的人；Q(x):x是可以信赖的人，S(x):x是受过教育的人。

Answer 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字限制，太烦人了，自己看着吧