命题逻辑(联言选言、负命题).pptxVIP

命题逻辑概述命题逻辑是逻辑学的一个分支，研究命题之间的逻辑关系。它用符号语言来表示命题，并利用逻辑运算符来组合命题，从而推导出新的命题。1y作者：侃侃

命题的基本形式原子命题原子命题是不能再分解的简单命题。它们表示一个具体的、确定的陈述，其真值可以确定为真或假。复合命题复合命题由一个或多个原子命题通过逻辑连接词连接而成。它们表示更复杂的陈述，其真值取决于原子命题的真值以及逻辑连接词的含义。

联言命题定义联言命题是指由两个或多个命题用“且”连接而成的命题，表示所有连接的命题都为真。例如，“今天是星期天，而且天气晴朗”。符号联言命题用符号“∧”表示，读作“且”。例如，“p∧q”表示命题p和q的联言命题。真值表联言命题的真值表用于判断联言命题的真假。当且仅当所有连接的命题都为真时，联言命题才为真。应用联言命题在逻辑推理、计算机科学、数学等领域都有广泛的应用，用于表示多个条件的共同成立。

联言命题的真值表联言命题的真值表用于展示联言命题真值的规律。真值表由列和行构成，列代表命题，行代表命题的真值组合。真值表中，每个命题的真值取值为真(T)或假(F)。联言命题的真值取决于所有子命题的真值。只有当所有子命题都为真时，联言命题才为真。

联言命题的等价变换联言命题的等价变换是指将一个联言命题转化为另一个等价的联言命题。等价变换的规则可以帮助简化联言命题，使其更容易理解和分析。1交换律p∧q≡q∧p2结合律(p∧q)∧r≡p∧(q∧r)3分配律p∧(q∨r)≡(p∧q)∨(p∧r)4吸收律p∧(p∨q)≡p

选言命题定义选言命题表示两个或多个命题中至少有一个为真。选言命题通常用“或”连接。真值表选言命题的真值表反映了选言命题的真值与各联言支的真值之间的关系。符号选言命题的符号表示为“∨”或“或”。

选言命题的真值表p为真p为假q为真q为假选言命题的真值表显示了选言命题在不同情况下真假值的变化规律。例如，当p和q都为真时，p∨q为真；当p为真，q为假时，p∨q也为真。当p和q都为假时，p∨q为假。

选言命题的等价变换交换律p∨q等价于q∨p，可以交换顺序。结合律(p∨q)∨r等价于p∨(q∨r)，可以结合。分配律p∨(q∧r)等价于(p∨q)∧(p∨r)，可以分配。幂等律p∨p等价于p，可以简化。单位律p∨假等价于p，真命题与假命题的选言是真命题。支配律p∨真等价于真，真命题与任何命题的选言是真命题。

复合命题1定义复合命题是由多个简单命题通过逻辑连接词连接而成的命题。2逻辑连接词常用的逻辑连接词包括“且”、“或”、“非”、“蕴涵”、“双条件”。3真值表复合命题的真值由其组成简单命题的真值和连接词的性质决定。4等价变换根据逻辑连接词的性质，可以对复合命题进行等价变换，得到等价的命题。

复合命题的真值表复合命题的真值表展示了复合命题在所有可能的真值指派下真值的变化情况。每个命题变量可以取真或假两种真值，因此一个包含n个命题变量的复合命题共有2n种真值指派。命题变量真值指派复合命题的真值PTTPFF真值表可以帮助我们理解复合命题的逻辑关系，并判断其真假。例如，我们可以用真值表判断一个命题是否为重言式、矛盾式或可满足式。

复合命题的等价变换复合命题的等价变换是指将一个复合命题用另一个等价的复合命题来替换，而不改变命题的真值。1交换律p∧q≡q∧p2结合律p∧(q∧r)≡(p∧q)∧r3分配律p∨(q∧r)≡(p∨q)∧(p∨r)4摩根定律?(p∧q)≡?p∨?q等价变换可以简化复合命题，使其更易理解和分析。

否定命题否定操作否定命题是对一个命题的否定。它通过在原命题前面加上“非”或“不”来表示。真值表否定命题的真值与原命题相反。当原命题为真时，否定命题为假；当原命题为假时，否定命题为真。逻辑符号在逻辑符号中，否定命题通常用符号“?”或“~”来表示。

否定命题的真值表否定命题的真值表用于展示否定命题的真值随原命题真值的变换情况。真值表中，原命题的真值为真，则否定命题的真值为假；原命题的真值为假，则否定命题的真值为真。原命题否定命题真假假真

否定命题的等价变换1双重否定律?(?p)等价于p2德·摩根律?(p∧q)等价于?p∨?q，?(p∨q)等价于?p∧?q3分配律?(p∨q)∧r等价于(?p∧r)∨(?q∧r)

蕴涵命题定义蕴涵命题是一种复合命题，它由两个命题组成，用符号“→”连接，表示“如果...则...”或“当...时...”的逻辑关系。形式蕴涵命题的形式为：p→q，其中p和q是命题，p称为前件，q称为后件。

蕴涵命题的真值表PQP→QTTTTFFFTTFFT真值表展示了蕴涵命题在不同命题真值组合下的真值结果。当P为真且Q为假时，蕴涵命题