逻辑学三讲.pptVIP

第三讲 命题逻辑 命题逻辑是关于联结词的逻辑理论。一个命题是什么形式的复合命题，这个复合命题具有什么性质，命题之间具有什么关系，都是由联结词决定的。 命题逻辑从微观角度研究了关于联结词的推出关系。关于联结词的推出关系是无穷多的，但是，这些无穷多的推出关系可以通过为数不多的几条基本推理规则生成。 在思维实践中熟练地运用命题逻辑的知识分析、解决关于联结词的推理、论证的有效性问题。 第一节 负命题及其推理 一、负命题 (一)什么是负命题 负命题是否定一个命题而形成的复合命题。 负命题是由否定词和被否定的命题构成的。 负命题的形式是：并非p。在形式语言中，负命题的形式是用否定式表达的：乛p。乛称为否定词，可以读为“并非”或者“非”。 下列两个命题的负命题是什么?它们的负命题的形式是什么? (1)p：这个班的学生都学英语。 (2)q：只有解决了温饱，才能谈论道德。 (1)对命题p进行否定，可以得到如下负命题： 并非p：并非这个班的学生都学英语。(这个班的学生不都学英语。) 以乛表示否定词“并非”，这两个负命题的形式可以用否定式表达为：乛p。 (2)命题q的负命题可以是： 并非q：并非只有解决了温饱，才能谈论道德。 以乛表示否定词“并非”，这个负命题的形式可以用否定式表达为：乛q。 1．对一个命题，可以肯定它，也可以否定它。肯定和否定是两种最基本的逻辑运算，也是论辩中对同一命题所持的两种不同的立场。 在现代汉语中，否定词还可以用“……是不符合事实的”、“……是假的”、“不能说……”、“……是不成立的”，“……是不对的”以及“我不同意……”、“我反对……”等表示。 注意: 这里所说的否定，是对一个命题的否定，而不是对构成命题的成分的否定(“并非”的位置）。 2．对一个命题进行肯定，则可以用“我认为……”、“……是对的”、“……是符合事实的”、“我同意……”、“情况就是如此”等等表示。 (二)负命题的逻辑性质 负命题的真假与被否定的命题的真假是相反的。换言之，如果p是真的，那么，并非p是假的；如果p是假的，那么，并非p是真的。 例如：如果“这个班的学生都学英语”为真，则“并非这个班的学生都学英语”为假；如果“这个班的学生都学英语”为假，则“并非这个班的学生都学英语”为真。 而表示负命题的乛 p和命题p之间的关系，可以用称为真值表的图表直观地表示为： 也就是说，乛 p的真值条件是：乛 p为真，当且仅当p为假。因此，这种真值条件，正确地反映了负命题的逻辑性质。 1．一个命题或者是真的，或者是假的。这个原则，称为二值原则。真值表用直观的方法，表示了以{T，F}为变域的p和以{T，F}为值域的乛p之间的真假关系，即p的真假怎么唯一地决定乛p的真假。这种关系，就是一种数学中所谓的函数关系：f(p)= 乛p。由于这种函数的定义域(变域)和值域都是真值集合{T，F}，而不是自然数或者实数等集合，因此，在逻辑学中，我们把这种变元称为真值变项，把这种函数称为真值函项。 2．由于定义域和值域都是真值集合{T，F}，因此，按照数学中的习惯，这种函项的函子被称为算子。乛 p是在一个变元p上运算而形成的，因此，一称为真值运算的(一元)算子，就如同f(x)=一x是在一个数值变元x上进行运算形成的函数一样。从这个角度讲，真值表表示了否定运算乛的运算方法。 3．必须注意的是，在“并非p”中，p是以命题作为变域的“命题变元”(在逻辑学中称为“命题变项”)；而在乛 p中，p(和乛 p)是以真值集合{T，F}作为变域(和值域)的真值变项(和真值函项)。乛p也称为真值函项的表达形式，或者简称为真值形式。 (三)矛盾关系和等值关系 根据p和乛p的真值条件，p和乛p既不能同真，也不能同假。具有这种关系的两个命题之间的逻辑关系，称为矛盾关系。 对负命题乛p，我们也可以否定它，得到双重否定命题乛乛p。双重否定命题乛乛p的真值与命题p的真值完全相同。我们把真值完全相同的命题之间的关系称为等值关系。 p和乛乛p的逻辑关系可以用下列真值表直观地表示出来： 在逻辑学中，如果以=表示等值关系，那么，p和乛乛 p的关系可以表示为：p=乛乛p。 一般地讲，对于任何命题A，不管其内部的结构是否复杂，我们都有以下等值关系： A=乛乛A。 (1)“这句话有道理”和“这句话不是没有道理”(并非这句话有道理）具有什么逻辑关系? (2)下列二个命题能不能都肯定?能不能都否定? A：太阳是围绕地球运转的。 B：太阳不是围绕地球运转的。 (1)“这句话有道理”和“这句话不是没有道理”是等值关系的命题，它们表达了相同的思想。 (2)对命题A和B都肯定，就肯定了不能同真的一