谓词逻辑(PredicateLogic)

- 第二章 谓词逻辑Predicate Logic -  - 前言 - 苏格拉底三段论(Socrates syllogis