第四讲 复合命题与命题公式(下).pptVIP

第三节 命题公式和真值函数 3.1 命题公式 1“如果王进是犯罪嫌疑人，那么他有犯罪动机和犯罪时间。” 2“如果一个公民是完全行为能力人，那么他年满十八周岁并且具有完全的行为能力。” 它们具有相同的逻辑形式 “p →( q ∧ r )” 命题公式－从逻辑的角度看 “p →( q ∧ r )”是用命题符号p、q、r，逻辑联结词符号→和∧，以及一对括号构造而成的。 构造命题公式的符号是人为创造出来的一种特殊的语言符号。人们创造这些符号是为了表达复合命题的逻辑形式以满足逻辑研究的需要。 我们把这样的语言叫做形式语言。 构造命题公式的初始符号： 1、命题变元：p，q，r，… 2、命题联结词：∧，∨，→，?，? 3、辅助符号： （， ） 说明：第1类符号是逻辑变元，是以真值为变域的变元。 第2类符号是逻辑常元，它们有确定的逻辑涵义因而能够表达某种确定的真假联系。 第3类符号则是为避免歧义以构造合式命题公式所需要的辅助符号。 合式公式的形成规则： 1.所有命题变元是命题公式； 2.如果?是命题公式，那么??是命题公式； 3.如果?、?是命题公式，那么（???），（?∧?）、（Φ∨Ψ）和（Φ?Ψ）也是命题公式； 4.只有符合以上3条的才是命题公式。 通过有限次使用以上规则得到公式称为合式公式。 第1条规则规定任意一个命题变元是公式，显然这是结构最简单的命题公式，因此被称作原子公式