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

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))