第 章 一些通用的数学概念与记号 §1.逻辑符号 1.关系与括号本书的语言像大多数数学教科书那样,由普 通的语言及一串用以阐明理论的专用符号构成,除了这些按照需 要而引入的专用符号之外,我们还要利用①通用的数学逻辑符号 ,∧,V,→>、<>,它们分别表示否定词《非》,《并且》,《或 蕴含》,等价》这些词. 作为例子我们举出代表三种不同旨趣的意见: L如果采用适合于发现的记号………那么,思考的劳动就能 大大地缩减, 莱布尼兹②) P数学是把不同实体统一命名的艺术 (庞加莱③) a自然界这部巨者是用数学语言写成的 ①在逻辑学中常使用符号&,而不用∧、蕴含符号一>常写成,而笭价关 系写做←→或←→但是为了不更换分析中传统的极限记号→,在木教程中、仍使 用上画给出的记号 ② Leibniz(1646-1716)是杰出的德国学者哲学家和数学家,他与牛顿一起 享有发现无穷小分析基础的荣誉 ⑧ Poincare(1857-1912)是法国数学家,他的卓越思想革新了数学的许多部 门井在数学暂理中得到应用