逻辑学导论（第4版）L8. 从日常联结词到真值联结词.pptxVIP

二、从日常联结词到真值联结词; 从逻辑角度看，这些日常语言联结词存在两个主要问题： 一是不精确。 以“或者”和“要么”为例，它们都既可以在相容意义上使用，也可以在不相容意义上使用。 二是负载了许多非逻辑的内容。 以联言命题为例，它们除表示各个支命题同时为真外，还表示并列关系、承接关系、递进关系、转折关系、对比关系等等。 例如：主公得了病，并且吃了药。主公吃了药，并且得了病。 ;真值联结词、真值形式; ?是一元联结词，后面只跟一个完整的命题形式。 ∧，∨，?，?是二元联结词，由两个已有的命题形式形成一个新的命题形式。 由此类推，由n个已有命题形式形成一新的命题形式的联结词，叫做n元联结词。 此外，为了表示符号间的结构关系，还需要一些辅助符号，如左括号“（”和右括号“）”。 ;命题逻辑语言; 这里，命题变项和联结词是对象语言符号，而A，B，C是元语言符号，它们代表用对象语言表述的任一公式。例如，A可以是下面的任一公式： p，q，r，?p，(q∧s)，(r∨s)，(p→q)， (q?s)，(((?p∧q)?(r→(s∨q))) ?A，(A∧B)，(A∨B)，(A→B)，(A?B)是命题逻辑中的五种公式类型，分别叫做“否定式”、“合取式”、“析取式”、“蕴涵式”和“等值式”。 ;为了便于读写公式，现约定 公式最外层的括号可以省略。如(q∧s)可直接写作q∧s。 联结词的结合力以下述秩序而递减： ?，∧，∨，?，?。 这就是说，在没有括号的情况下，我们先看?，再看∧，再看∨，再看→，最后看?。据此可以省略掉一些括号。 例如：(((?p∧q)?(r→(s∨q)))可写作?p∧q?r→s∨q 此外，还约定： (A∧B)∧C可简写作A∧B∧C (A∨B)∨C可简写作A∨B∨C A→(B→C)可简写作A→B→C ;公式的意义; 由于命题变项只取真假二值，联结词是真值运算，由命题的真值或命题变项的真值指派根据运算规则得到一些新的真值，相当于从真值集?1,0?到?1,0?的函数，所以，也可以把前面所说的公式称为“真值形式”，或直接称为“真值函项”(truth-function). “真值形式”的定义类似于“公式”的定义。;联结词的解释与真值表; 按上面的真值表???我们有: (p?q)?(?p∨q) (p?q)??(p∧?q) q?(p?q) ?p?(p?q) (p?q)∨(q?p) 后三个公式被称为“实质蕴涵悖论”。;对如上真值表特别是实质蕴涵的辩护 第一,实质蕴涵抽象、概括出了自然语言中“如果,则”这类联结词的共性,在对“如果,则”的各种解释中是最弱的,因而具有普遍适用性和简单性,而这种普适性和简单性是逻辑的本质要求。 第二,实质蕴涵也有关于“如果,则”的日常用法的经验根据或基础。 第三,从前后一致的角度看,如果承认?(否定)、∨(析取)分别是“并非”和“或者”的合理抽象,那么也应该承认?(蕴涵)是“如果,则”的合理抽象。;三、日常语言中复合命题的符号化;如果主动坦白交代，则既往不咎。如果不主动坦白交代，则将严惩不贷。 (p→q)∧(?p→r) 人类感受到自己的渺小，无须仰视繁星密布的苍穹，只要看一看在我们之前就存在过、繁荣过而且已经消逝了的古代文化就足够了。 ?q∧r→p ;如果在有限长的线段L上有无穷多个点的话，那么，如果这些点都有长度，则L将无限长；如果这些点都没有长度，则L将没有长度。而一个有限长的线段不可能无限长，也不可能没有长度。因此，在有限长的线段上不可能有无穷多个点。 p?(q?r)∧(?q?s)，?r∧?s，/∴ ?p; 如果我们买保险，那么我们或者出险或者不出险。如果我们出险，那么我们很沮丧。如果我们不出险，那么我们白花钱。如果我们白花钱，那么我们很沮丧。所以，如果我们买保险，那么我们很沮丧。 p→q∨?q，q→r，?q→s，s→r，/∴ p→r。 思考：试构造一个“反其道而行”的二难推理。;只有不畏劳苦，才能攀上科学顶峰。 可以表示为：?p→?q; 亦可表示为：q→p. 除非考试及格，否则不予录取。 你会获得提拔，除非有人举报你 可表示为： ?q→p. 此案不成立，除非有两个证人作证明。 可表示为： ?q→?p.;不相容选言命题“要么p要么q”可表示为： (p∨q)∧?(p∧q). 如果p则q，否则r。 例：义则进，否则奉身而退。 可表示为： (p→q)∧(?p→r). 如果天下雨则你带伞，否则你会被淋成落汤鸡。 可表示为： (p→q)∧(p∧?q→r); 谢谢！