摘要：
集合论是研究集合一般性质的数学分支，它的创始人是康托尔 现代数学中，每个对象(如数，函数等)本质上都是集合，都可以用某种集合来定义，数学的各个分支，本质上都是在研究某种对象集合的性质。集合论已成为现代全部数学的理论基础。 集合论的特点是研究对象的广泛性，它总结出由各种对象构成的集合的共同性质，并用统 阅读全文
摘要：
1谓词 1.1引入 在研究命题逻辑中，原子命题是命题演算中最基本的单位，不再对原子命题进行分解，这样会产生两大缺点： （1）不能研究命题内部的结构，成分和内部逻辑的特征； （2）也不可能表达两个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过程。 例如 著名的“苏格拉底三段论 阅读全文