逻辑学 第五讲：复合命题与命题公式解析.ppt

p???p，相应地可以有如下推导规则： （1）双重否定引入规则（??+）： p ??p p???p （2）双重否定消去规则（ ???）： ??p p ?? p?p 值得指出，运用负命题的性质，我们可以做到两点： 第一，弄清楚关于几个基本逻辑联结项的负命题的等值命题，即： ?（p?q）??p??q（德?摩根律1） ?（p?q）??p??q（德?摩根律2） ?（p←q）??p?q ?（p?q）?（p??q）?（?p?q） 第二，通过运算，判定复合命题之间是否等值。 p?q与p??q，可以运算为： ? （p?q）?p??q ?（p??q）??p?q 五，等值命题及其推理 等值命题就是充要条件命题（详见充分必要条件命题）。 自然语言中，我们常用“当且仅当”来表示。 逻辑联结词的符号我们常用“?”（ ? 读作：等值）来表示。 等值命题的逻辑性质：等值联结词联结的两边的支命题要么同真，要么同假，整个等值命题才是真的，否则为假。 复合命题及其推理小结 一，理解真值表。 二，理解各种复合命题的逻辑性质。 三，基于逻辑性质的基础上，能进行有关各种复合命题的简单推理。 第三节：命题公式 （一）命题公式 命题公式：复合命题的逻辑形式。 如果王进是犯罪嫌疑人，那么他有犯罪动机和犯罪时间。 如果一个公民是完全行为能力人，那么他年满十八周岁并且具有完全的行为能力。 p?（q?r） 从认识的角度分析 从逻辑的角度分析 形式语言：构造命题公式的符号是人们创造出来的以满足研究与表达的需要的一种特殊的语言符号。 初始符号（形式语言表达的基本符号）： 1，命题变元：p，q，r，??? 2，命题联结词：?，?，?，?，? 3，辅助符号：（，） 形成规则： 1，所有命题变元是命题公式； 2，如果?是命题公式，那么??是命题公式； 3，如果?、?是命题公式，那么（???），（???），（???），（???）也是命题公式。 4，只有符合以上3条的才是命题公式。 （p?q）?（r?s） p?（q?（r?s）） （（p?q）?r）?s （（p??q）?r）?（（?p?r）?（q?s）） （二）命题公式间的逻辑等值关系 逻辑等值：两个命题是逻辑等值的，那么它们一定有共同的命题变元，并且无论构成公式的变元取什么值，两个公式要真都真，要假都假。 “?p??q”与“?（p?q）”是否等值？ ?p??q? ?（p?q） p q ?p ?q p?q ?p??q ?（p?q） T T F F T F F T F F T F T T F T T F F T T F F T T F T T 如果一个等值式是重言式，那么我们就用符号“?”代替等值联结词“?”。公式“???”表示?和?逻辑等值，即“???”是重言式。 ?p??q? ?（p?q） 几个重要的重言等值式： 1，交换律： （p?q）?（q?p） （p?q）?（q?p） 2，结合律 （p?q）?r?p?（q?r） （p?q）?r?p?（q?r） 3，摩根律 ?（p?q）?（?p??q） ?（p?q）?（?p??q） 4，分配律 （p?（q?r））?（（p?q）?（p?r）） （p?（q?r））?（（p?q）?（p?r）） 5，实质蕴涵 （p?q）?（?p?q） p q ?p p?q ? ?p?q T T F T T T T F F F T F F T T T T T F F T T T T 6，假言易位 （p?q）??q??p 7，移出律 （（p?q）?r）?（p?（q?r）） 8，实质等值 （p?q）?（（p?q）?（q?p）） 9，双否律 p???p 10，重言律 p?（p?p） p?（p?p） （三）命题联结词的相互定义 两个具体命题逻辑等值意味着两个命题描述的是同一个事件，因此它们都可以相互交换使用。 （p?q）?（?p?q）??（p??q） 如果李司是犯罪嫌疑人，那么李司有犯罪动机。 或者李司不是犯罪嫌疑人，或者李司有犯罪动机。 并非李司是犯罪嫌疑人并且李司没有犯罪动机。 第四节：复合命题的相互转换及其推理 p?q??（?p??q） p?q??（p??q） p?q? ?（?p??q） p?q? ?p?q p?q=df?（p??q）（?的定义） p←q=df?（?p?q）（←的定义） p?q=df（p?q）?（q?p）（?的定义） 在命题公式的转换中，规约律是特殊的运算规律： p??p?T p??p?F p?T?p p?F?p 此外，还有复合命题的其他形式的推理： 假言易位：p?q??q??p 假言三段论：p?q，q?r?p?r 假言选言推理（亦称二难推理） 简单构成式：p?q，r?q，p?r?q 复杂