则p、q、（pq）、（pq）、（pq）.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * 离散数学 DISCRETE MATHEMATICS 教师:石兵 Email:shibing_2009@scu.edu.cn 二零一三 重点词 -- 定义 命题(简单命题\复合命题) 命题表示 基本连接词 重点掌握 命题的翻译 上次课重点: 本次课重点 命题公式解释及真值表 等价的定义 证明推理的基础: 基本等价式 第二节 命题合适公式与真值表 一、命题合适公式定义 1。原子命题标识符是合适公式 2。如果P、Q都是合适公式，则 ?P、 ?Q、（P ? Q）、（P ? Q）、（P ?Q）、 （P ? Q）也都是合适公式。 3。只有按照1 和 2 产生的公式是合适公式。 约定： 1）以后我们用WFF (well-formed formula)表示术语“合适公式”。 2）简称合适公式为公式。 3）合适公式的外层括号可以去掉。例如 （（ P ?Q） ?（ ? P ?Q）） 可以写成 （P ?Q） ?（ ? P ?Q）。 二、子合适公式 定义： 设G是WFF，A是G的一部分，且A也是WFF，则称 A是G的子合适公式。简称A 是G的子公式。 例如：P、Q、（P ? ? Q）、（P ?Q）都是（P ? ? Q） ?（P ?Q）的子公式。 三、命题公式的解释 1。对公式G中的每个原子代以具体的命题称为 对G的解释。 2。对原子代以真命题可以用对原子赋值 1来表 达，对原子代以假命题可以用对原子赋值 0 来表达。 3。公式在每种解释下取得唯一的值。 例： 下面是对公式G=（R ? ? Q）?（P ?Q） 的一个解释： P Q R 0 1 0 在这个解释下，公式G的值是 (0 ? 0） ? （0 ?1）=1。 四、公式的真值表 1。真值表：由公式的全部解释构成的表。 2。真值表类似于联结词功能表，公式的原子 列于最前几列，表中每行对应一种解释。 3。如果公式中有n个原子，则表中有 2 n 个不 同的解释行。 例： 构造公式G=（R ? ? Q） ?（P ?Q） 的真值表。 解：公式中含 3 个原子，故有 8 种可能的 解释，见下表。 P Q R | R ? ? Q P ?Q | G 0 0 0 | 0 1 | 1 0 0 1 | 1 1 | 1 0 1 0 | 0 1 | 1 0 1 1 | 0 1 | 1 1 0 0 | 0 0 | 0 1 0 1 | 1 0 | 1 1 1 0 | 0 1 | 1 1 1 1 | 0 1 | 1 例：构造公式G1= P ?（P ?Q）和 G2= P ? ? (P? Q)的真值表。 解：下面把两个公式的真值表放在一起。 P Q | P ?（P ?Q） | P ? ? （P ? Q） 0 0 | 1 | 0 0 1 | 1 | 0 1 0 | 1 | 0 1