第1章命题逻辑 注(1)逻辑中,前件p为假时,无论后件q是真是假,蕴 涵式p→q的真值均为1。这与日常语言中的,特别是数 学上常用的“真蕴涵真”不太一样。事实上并不矛盾, 例如某人说:“如果张三能及格,那太阳从西边升 起。”说话者当然知道“张三能及格”与“太阳从西 边升起”风马牛不相及,而一般人此时并没有说谎的 必要,即这是真命题,它所要明确的是“张三能及格” 是假命题。 (2)正如前面所说,数理逻辑中的联结词是对日常语言 中的联结词的一种逻辑抽象,日常语言中联结词所联 结的句子之间是有一定内在联系的,但在数理逻辑中, 联结词所联结的命题可以毫无关系。如在日常语言中 “如果..).所联结的句子之间表现的是一种因果 关系,如例1.17中的(1)。但在数理逻辑中,尽管说 前件蕴涵后件,但两个命题可以是毫不相关的,如例 1.17中的(2)第1章 命题逻辑 注 (1）逻辑中，前件p为假时，无论后件q是真是假，蕴 涵式p→q的真值均为1。这与日常语言中的，特别是数 学上常用的“真蕴涵真”不太一样。事实上并不矛盾， 例如某人说：“如果张三能及格，那太阳从西边升 起。”说话者当然知道“张三能及格”与“太阳从西 边升起”风马牛不相及，而一般人此时并没有说谎的 必要，即这是真命题，它所要明确的是“张三能及格” 是假命题。 （2）正如前面所说，数理逻辑中的联结词是对日常语言 中的联结词的一种逻辑抽象，日常语言中联结词所联 结的句子之间是有一定内在联系的，但在数理逻辑中， 联结词所联结的命题可以毫无关系。如在日常语言中 “如果……则……”所联结的句子之间表现的是一种因果 关系，如例1.1.7中的（1）。但在数理逻辑中，尽管说 前件蕴涵后件，但两个命题可以是毫不相关的，如例 1.1.7中的（2）