1.2 命题公式及其赋值.pptVIP

* * 第一章 命题逻辑基本概念 第1节 命题与联结词 第2节 命题公式及其赋值 一、命题公式的定义 二、公式的层次 第2节 命题公式及其赋值 三、公式的赋值 四、真值表 五、公式的真假值分类 一、命题公式的定义 命题可以表示为符号串，那么符号串是否都代表命题呢？显然不是，如“P ∨”，“PP→” 　(i) 命题常项（命题常元）：简单命题（是真值唯一确定的命题逻辑中最基本的研究单位） 1 命题常项与命题变项 　(ii) 命题变项（命题变元）：真值可以变化的陈述句。 ① 也用p, q, r, … 表示命题变项. 当p,q,r,…表示命题变项时，它们就成了取值0或1的变项. ③ p, q, r, …既可以表示命题常项，也可以表示命题变项. 在使用中，需要由上下文确定它们表示的是常项还是变项. 注意： ② 因而命题变项已不是命题. 2 合式公式 将命题变项用联结词和圆括号按一定的逻辑关系连接起来的符号串称为 合式公式，也称为命题公式或命题形式式，并简称为公式. 当使用联结词集{┐，∧，∨，→， }中的联结词时，合式公式定义如下 （1）单个命题变项是合式公式，并称为原子命题公式. （2）若A是合式公式，则(┐A)也是合式公式. （3）若A，B是合式公式，则(A∧B)，(A∨B)，(A→B)， (A ?B)也是合式公式. （4）只