逻辑学 第七章复合命题的重言式及重言等值式推理.pptVIP

复合命题的重言式及重言等值式推理 一、复合命题公式的分类 任何复合命题都可以用简单命题和五个基本的命题联结词的组合来表达，任何复合命题的形式都可以用命题变项和五个基本的真值联结词的组合来表示。 这样表达出来的复合命题的形式，称之为复合命题公式. 复合命题公式根据其真假情况可分成三种。 1、重言式 重言式就是指常真的公式，也就是无论命题变项如何赋值（即变项无论为真还是为假），它总是真的。例如，p→p就是个重言式。 2、矛盾式 矛盾式是指常假的公式，也就是无论命题变项如何赋值，它总是假的，例如，p∧?p就是个矛盾式。 3、可满足式 可满足式就是指可真可假的公式，也就是在命题变项赋值中，复合命题公式可能为真，也可能为假。例如，p∧q就是个可满足式。 二、重言式的判定方法 重言式反映逻辑规律，是进行正确推理的依据。那么如何判定一个公式是否是重言式呢？ 下面介绍两种判定方法。 1、真值表法 真值表，就是指能显示一个真值形式在它的命题变项的各种真值组合下所取真值的图表。 真值表法的判定程序有以下三个步骤： 第一，找出给定真值形式里的所有变项，列出这些变项的各种真值组合情况。 [例1] （p→q)∧?q→?p 其中变项为p、q，其真值组合情况为： 第二，公式的构成过程，由简到繁地列举出该公式的各个组成部分，最后为该公式本身。 第三，根据（1）~（5）五个基本真值形式的真值表，一步步地计算出每个组成部分的真值，最后得出该公式的真值。如果这个公式在，否则就判定它不是重言式。 [例2] 判定下列公式是否是重言式：p→p，p∧p，p∧?p。用真值表法判定如下： [例2] 判定下列公式是否是重言式：p→p，p∧p，p∧?p。用真值表法判定如下： p ?p p→p p∧p p∧?p + — + + — — + + — — 可见，p→p为重言式，而p∧p是可满足式，p∧?p是矛盾式。 [例3] 用真值表法判定公式（p→q）∧（q→r）→（p→r）是否为重言式。 p q r p→q q→r （p→q)∧(q→r) p→r （p→q）∧(q→r)→(p→r) + + + + + + + + + + — + — — — + + — + — + — + + + — — — + — — + — + + + + + + + — + — + — — + + — — + + + + + + — — — + + + + + [例3] 用真值表法判定公式（p→q）∧（q→r）→（p→r）是否为重言式。 2、归谬赋值法 上面我们讲的真值表法可用来判定各种公式是否为重言式。但是，对于含有较多命题变项的公式来说，尽管我们总能计算出最后的真值，用这种方法就显得很繁琐。因此，我们引进了归谬赋值法。 归谬赋值法只适用于蕴涵式。 其主要思路是：如果一个蕴涵式是重言式，那么该公式的变项无论赋什么值，前件真而后件假是不可能的，即如果前件真而后件假，则命题变项在赋值时必然导致逻辑矛盾。 [例1] 判定（p∨q）∧?p→q是否是重言式。 假设这一蕴涵式的前件（p∨q）∧?p为真，而后件q为假。 则有 （p ∨ q） ∧ ? p → q （1） - （2） + - （3） +