复合命题 ※把一个或几个简单命题用联结词(如与、或、非) 联结所构成的新的命题称为复合命题 ※复合命题自然也是陈述句,其真值依赖于构成 该复合命题的各简单命题的真值以及联结词, 从而复合命题有确定的真值.如“张三学英语 和李四学日语”就是一个复合命题,由简单命 题“张三学英语”“李四学日语”经联结词 “和”联结而成,这两个简单命题真值均为真 时,该复合命题方为真 ※命题逻辑所讨论的是多个命题联结而成的复合 命题的规律性
7 复合命题 把一个或几个简单命题用联结词(如与、或、非) 联结所构成的新的命题称为复合命题． 复合命题自然也是陈述句，其真值依赖于构成 该复合命题的各简单命题的真值以及联结词， 从而复合命题有确定的真值．如“张三学英语 和李四学日语”就是一个复合命题，由简单命 题“张三学英语” “李四学日语”经联结词 “和”联结而成，这两个简单命题真值均为真 时，该复合命题方为真． 命题逻辑所讨论的是多个命题联结而成的复合 命题的规律性．
内容/形式 ※在数理逻辑里,仅仅把命题看成是一个可 取真或可取假的陈述句,所关心的并不是 这些具体的陈述句的真值究竟为什么或在 什么环境下是真还是假,这是有关学科本 身研究的问题,而逻辑关心的仅是命题可 以被赋予真或假这样的可能性,以及规定 了真值后怎样与其他命题发生联系
8 内容 / 形式 在数理逻辑里，仅仅把命题看成是一个可 取真或可取假的陈述句，所关心的并不是 这些具体的陈述句的真值究竟为什么或在 什么环境下是真还是假，这是有关学科本 身研究的问题，而逻辑关心的仅是命题可 以被赋予真或假这样的可能性，以及规定 了真值后怎样与其他命题发生联系．
命题联结词及真值表 ※联结词可将命题联结起来构成复杂的命 题,命题逻辑联结词的引入是十分重要的 其作用相当于初等数学里在实数集上定义 的十 ⅹ、÷等运算符.通过联结词 便可定义新的命题,从而使命题逻辑的内 容变得丰富起来, ※复合命题的真值可由组成它的简单命题的 真值所确定 ※值得注意的是逻辑联结词与日常自然用语 中的有关联结词的共同点和不同点
9 命题联结词及真值表 联结词可将命题联结起来构成复杂的命 题，命题逻辑联结词的引入是十分重要的， 其作用相当于初等数学里在实数集上定义 的十、一、、÷等运算符．通过联结词 便可定义新的命题，从而使命题逻辑的内 容变得丰富起来， 复合命题的真值可由组成它的简单命题的 真值所确定． 值得注意的是逻辑联结词与日常自然用语 中的有关联结词的共同点和不同点．
常用的逻辑联结词 ※否定词“_”是个一元联结词,亦称否定 符号.一个命题P加上否定词就形成了 个新的命题,记作-P,这个新命题是命 题的否定,读作非P ※否定词的真值规定如下:若命题P的真值 为真,那么一P的真值就为假;若P的真 值为假,那么一P的真值就为真.P与P 间的真值关系,常常使用称作真值表的 种表格来表示 10
10 常用的逻辑联结词 否定词“ ”是个一元联结词，亦称否定 符号．一个命题P加上否定词就形成了一 个新的命题，记作 P，这个新命题是命 题的否定，读作非P 否定词的真值规定如下：若命题P的真值 为真，那么 P的真值就为假；若P的真 值为假，那么 P的真值就为真． P与P 间的真值关系，常常使用称作真值表的一 种表格来表示
P的定义 ※真值表 真值表表明了-P P P 的真值如何依赖于 P的真值 T F 真值表描述了命题 之间的真值关系, F T 很直观 真值表是命题逻辑 里研究真值关系的 重要工具
11 P的定义 真值表 P P T F F T 真值表表明了P 的真值如何依赖于 P的真值． 真值表描述了命题 之间的真值关系， 很直观. 真值表是命题逻辑 里研究真值关系的 重要工具．