第1章命题逻辑 1.1命题与联结词 1.2命题公式及其分类 1.3等值演算 14命题公式的标准形式 1.5命题演算的推理理论
第1章 命题逻辑 1.1 命题与联结词 1.2 命题公式及其分类 1.3 等值演算 1.4 命题公式的标准形式 1.5 命题演算的推理理论
第1章命题逻辑 人类的高级思维是通过各种方式加以表达的,其中, 最重要的是通过语言,也就是自然语言当用自然语言叙 述时往往不够确切,也易产生二义性,对于进行严密的推 理有诸多不利.因此,就需要引入一种目标语言,这种目 标语言和一些公式符号就形成了数理逻辑的形式符号体系 其中,目标语言就是表达判断的一些语言的集合,而判断 就是对事物有肯定或否定回答的一种思维形 命题逻辑也称命题演算或语句逻辑.它研究以命题为 基本单位构成的前提和结论之间的可推导关系,研究什么 是命题、如何表示例题以及如何由一组前提推导一些结论. 本章将详细讨论这些问题
第1章 命题逻辑 人类的高级思维是通过各种方式加以表达的，其中， 最重要的是通过语言，也就是自然语言.当用自然语言叙 述时往往不够确切，也易产生二义性，对于进行严密的推 理有诸多不利.因此，就需要引入一种目标语言，这种目 标语言和一些公式符号就形成了数理逻辑的形式符号体系. 其中，目标语言就是表达判断的一些语言的集合，而判断 就是对事物有肯定或否定回答的一种思维形式. 命题逻辑也称命题演算或语句逻辑.它研究以命题为 基本单位构成的前提和结论之间的可推导关系，研究什么 是命题、如何表示例题以及如何由一组前提推导一些结论. 本章将详细讨论这些问题
1.1命题与联结词 1.1.1命题的概念 ■1.1.2逻辑联结词 11.1.3命题的符号化
1.1 命题与联结词 1.1.1命题的概念 1.1.2逻辑联结词 1.1.3命题的符号化
1.1.1命题的概念 数理逻辑研究的中心问题是推理,而推理的前提和结 论是表达判断的陈述句,因而表达判断的陈述句构成了推 理的基本单位,于是我们称判断真假的陈述句为命题为 此,我们可以说:命题逻辑的研究对象是命题. 定义1.1-1凡是可以判断真假的陈述句均称为命题 命题有两个特征: (1)命题必须是陈述句,而不是感叹句、疑问句、祈 使句等句型 (2)命题是具有真值的 命题是一个正确命题时 命题的真值为真,用字母T表示;当一个命题是错误命题时 命题的真值为假,用字母F表示 因此,命题又称为具有确定真值的陈述句
1.1.1 命题的概念 数理逻辑研究的中心问题是推理，而推理的前提和结 论是表达判断的陈述句，因而表达判断的陈述句构成了推 理的基本单位，于是我们称判断真假的陈述句为命题.为 此，我们可以说：命题逻辑的研究对象是命题. 定义1.1-1 凡是可以判断真假的陈述句均称为命题. 命题有两个特征： （1）命题必须是陈述句，而不是感叹句、疑问句、祈 使句等句型. （2）命题是具有真值的.当一个命题是一个正确命题时， 命题的真值为真，用字母T表示;当一个命题是错误命题时， 命题的真值为假，用字母F表示. 因此，命题又称为具有确定真值的陈述句
1.1.1命题的概念 真值就是语句为真或假的性质.一个语 句的真值可以为真也可以为假真值不是说 该语句的值必为真 任一命题必有其真值,也称为这个命题 的值.既然是命题了,那它必有一个确定的 真值,不管这个真值为真还是为假.当一个 陈述句能够分辨其值的真假时(也就是说, 总可以肯定是其中的某一个),它就是命题, 即使我们不知道它是真还是假
1.1.1 命题的概念 真值就是语句为真或假的性质.一个语 句的真值可以为真也可以为假.真值不是说 该语句的值必为真. 任一命题必有其真值，也称为这个命题 的值.既然是命题了，那它必有一个确定的 真值，不管这个真值为真还是为假.当一个 陈述句能够分辨其值的真假时(也就是说， 总可以肯定是其中的某一个)，它就是命题， 即使我们不知道它是真还是假