第一章 预备知识 为方便,全书采用通常的逻辑约定:和,积,否定,蕴意, 等价,任意量和存在量分别用符号:∨,∧,",→,兮,V和彐 在正文中,(i表示在第i章的第节中的第k项 在文献中,{表示参考文献中的第k项.其中k由该项 作者(们)姓的前几个字母接着为数字所组成姓氏按字母序 排.同样的作者(们则用数字区别不同的文章或其它出版物 §1.1集合 个集合就是具有共性的一类对象的全体,这个对象可 以是数、符号、字母,甚至还可以为集合,当然,这个集合不 包括所定义的那个集合本身以免自相矛盾,其中的对象称为这 个集合的元素.我们总是用小写斜体表示元素而大写的字母为 集合·说法“x是(不是)集合M的一个元素用如下的符号表 小 ∈M(xM) 个集合通常用一种姓质所刻划,例如