1.关系与括号本书的语言，像大多数数学教科书那样，是由普通的语言及一串用以叙述理论的专用符号构成的.除了这些按照需要而引入的专用符号之外，我们还要利用通用的数学逻辑符号，，v，、，它们分别表示否定词“非”，系词“与”，“或”，“蕴含”，“等价”①. 作为例子，我们举出代表三种不同旨趣的意见： L.“如果采用适合于发现的记号，......那么，思考工作就能得到惊人的简化.”（莱布尼茨②） P.“数学是把不同实体统一命名的艺术.”（庞加莱③） G.“自然界这部巨著是用数学语言写成的.”（伽利略④） 于是，根据上述记号，有下页开头表的写法. 我们将会看到，只使用形式化记号，回避普通语言，并非总是明智的. 另外，我们发现，由较简单的命题构成复杂命题时，使用了括号，正像写代数式那样，它们起着有关结构层次的作用.同代数中一样，为了节省括号，可以约定“运