谓词逻辑
前言
苏格拉底三段论(Socrates syllogism)：所有人都是要死的。苏格拉底是人。所以苏格拉底是要死的。 （Socrates, 古希腊哲学家,公元前470~前399） (孔子,中国伟大哲学家,公元前551~前479)
前言
在命题逻辑中，如果设：        P：凡人都是要死的；　　        Q：苏格拉底是人；　        R：苏格拉底是要死的。前提：P,Q，结论：R。则(P∧Q)→R表示上述推理，这个命题公式不是重言式。