第二章 谓词逻辑在命题逻辑中