【工学】02_命题逻辑基本概念_2.pptVIP

第一章 命题逻辑基本概念 上一节课的复习（练习） 上一节课的复习（续） 1.2. 命题公式及其赋值 上节介绍了将命题表示为符号串。 是否每个符号串都是命题呢？ pq→ 什么样的符号串才能表示命题呢？ 命题常项 由于简单命题是真值唯一确定的命题逻辑中最基本的研究单位，所以也称简单命题为命题常项或命题常元. 命题变项 定义 从本节开始对命题进一步抽象，首先称真值可以变化的陈述句为命题变项或命题变元，也用p, q, r,…表示命题变项。 说明 1 当p, q, r,…表示命题变项时，它们就成了取值0或1的变项，因而命题变项已不是命题； 2 p, q, r,…既可以表示命题常项，也可以表示命题变项。在使用中，需要由上下文确定它们表示的是常项还是变项。 命题公式 将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串成为命题公式或合式公式。 命题公式（续） 命题公式是由命题变项和联结词以及圆括号按以下规则组成的符号串（定义1.6）: 1 单个命题变项和命题常项是合式公式，并称为原子命题公式; 2 若A是合式公式，则 ┐A 也是合式公式 ; 3 若A，B是合式公式，则 A∧B ， A∨B ， A→B ， A?B 也是合式公式; 4 只有有限次地应用 1 ～ 3 形式的符号串 才是合 式公式. 命题公式（续） 定义1.6是归纳定义，而不是循环定义 1 是基础, 2 , 3 是归纳步骤; 下文将多次出现类似的归纳定义. 元语言与对象语言 元语言: A, B, … 任意的命题公式 对象语言: p, q, r, … 具体的公式 有关圆括号 最外层圆括号可以省去; 不影响运算次序的括号可以省去. 例. 判断下列符号串是否为命题公式 1 p→q ∧ q ? r . p∧q ∧┐r. p∧ q∧┐r . 2 pq→r. p→ r→q . 公式的层次 定义1.7 1 若公式A是单个的命题变项和命题常项，则称A为0层合式。 ? 2 称A是n+1 n≥0 层公式是指下面情况之一：  a A＝┐B, B是n层公式;  b A＝B∧C, 其中B, C分别为i层和j层公式, 且n＝max i, j ;  c A＝B∨C, 其中B, C的层次及n同 b ;  d A＝B→C, 其中B, C的层次及n同 b ;  e A＝B ? C, 其中B, C的层次及n同 b ; 3 若公式A的层次为k，则称A是k层公式。 例. 下列命题公式的层次 1 ┐p∧q →r 3层公式. 2 ┐ p→┐q ∧ r∨s ? ┐p 4层公式. 公式的赋值 在命题公式中，由于有命题变项的出现，因而真值是不确定的。 当将公式中出现的全部命题变项都解释成具体的命题之后，公式就成了真值确定的命题。 公式的赋值（续） 例. 命题公式 p∨q →r 若解释为, p: 2是素数. q: 3是偶数. r: 4是有理数. 则公式被解释为, 若2是素数或3是偶数，则4是无理数. 此时, 该命题为真命题, 即其真值为1. 公式的赋值（续） 定义1.8 设p1,p2,…,pn是出现在公式A中的全部命题变项，给p1,p2,…,pn各指定一个真值，称为对A的一个赋值或解释。 若指定的一组值使A的真值为1，则称这组值为A的成真赋值；若使A的真值为0，则称这组值为A的成假赋值。 公式的赋值（续） 在本课中，对含n个命题变项的公式A的赋值情况做如下规定： 1 若A中出现的命题符号为p1,p2,…,pn ，给定A的赋值α1,α2,…,αn 是指p1＝α1，p2＝α2,…，pn＝αn。 2 若A中出现的命题符号为p，q，r...,给定A的赋值α1,α2,…,αn是指p＝α1，q＝α2,…，最后一个字母赋值 αn。 上述 αi取值为0或1，i＝1,2,…,n。 例. 公式的成真赋值和成假赋值 公式 p∧┐q →r 其一个成真赋值为011 p 0, q 1, r 1 ; 其一个成假赋值为100 p 1, q 0, r 0 真值表 定义1.9 将命题公式A在所有赋值下取值情况列成表，称作A的真值表. 含n n≥1 个命题变项的公式共有多少个不同的赋值呢？ 含n n≥1 个命题变项的公式共有2n个不同的赋值。 真值表构造 构造真值表的具体步骤