第4章-谓词逻辑

- Chapter 4 谓词逻辑 - 原子命题是命题逻辑研究的基本单位, 没有对原子命题的内部结构及其逻辑关系进行讨论. 在实际思维中，仅有命题逻辑工具是不够的. 例如著名的苏格