谓词逻辑-著名的“苏格拉底三段论式”

- 第二章 谓词逻辑 - 首先看看著名的“苏格拉底三段论式”： Every man is mortal. Soc