第1章命题逻辑 人类的高级思维是通过各种方式加以表达的,其中, 最重要的是通过语言,也就是自然语言当用自然语言叙 述时往往不够确切,也易产生二义性,对于进行严密的推 理有诸多不利.因此,就需要引入一种目标语言,这种目 标语言和一些公式符号就形成了数理逻辑的形式符号体系 其中,目标语言就是表达判断的一些语言的集合,而判断 就是对事物有肯定或否定回答的一种思维形 命题逻辑也称命题演算或语句逻辑.它研究以命题为 基本单位构成的前提和结论之间的可推导关系,研究什么 是命题、如何表示例题以及如何由一组前提推导一些结论. 本章将详细讨论这些问题第1章 命题逻辑 人类的高级思维是通过各种方式加以表达的，其中， 最重要的是通过语言，也就是自然语言.当用自然语言叙 述时往往不够确切，也易产生二义性，对于进行严密的推 理有诸多不利.因此，就需要引入一种目标语言，这种目 标语言和一些公式符号就形成了数理逻辑的形式符号体系. 其中，目标语言就是表达判断的一些语言的集合，而判断 就是对事物有肯定或否定回答的一种思维形式. 命题逻辑也称命题演算或语句逻辑.它研究以命题为 基本单位构成的前提和结论之间的可推导关系，研究什么 是命题、如何表示例题以及如何由一组前提推导一些结论. 本章将详细讨论这些问题