单元12命题逻辑预备知识.PDF

单元1.2 命题逻辑预备知识 第一编集合论 第一章集合 1.1 预备知识（上） 内容提要 命题逻辑中 – 最基本的逻辑符号、逻辑公式 – 基本的等值式 – 重要的推理定律 （重言蕴涵式） 2 原子命题 用p,q,r,…表示原子命题(简单命题)； 用“1”表示命题的真值为真； 用“0 ”表示命题的真值为假。 3 联结词 用5种连接词给出最基本的复合命题。 ① p 称为 p的否定式 ② pq 称为 p与q的合取式 ③ pq 称为 p与q的析取式 ④ pq 称为 p与q的蕴涵式 ⑤ pq 称为 p与q的等价式 4 命题公式 用p,q,r…表示命题(命题常元)或命题变元 ① 单个命题变元(或常元)是命题公式； ② 若A是命题公式, 则(A)也是； ③ 若A,B是命题公式, 则(AB),(AB), (AB),(AB)也是； ④ 只有有限次应用(1)-(3)形成的符号串才是命题公式 (命题形式)，简称公式。 5 命题公式的赋值 设命题公式A 中有n个命题变元p , p ,…, p ， 1 2 n 给p 指定一个值 (为0或1, i=1,2,…, n)， i i i 所得字符串  … 称为A 的一个赋值， 1 2 n n A共有2 个赋值。 如果在  … 下A 的真值为1，则称它为A 的成真赋 1 2 n 值，否则，A 的真值为0，则称它为A 的成假赋值。 6 永真、永假、可满足、等值式 若公式A没有成假赋值，则称A为重言式(永真式) 。 若公式A没有成真赋值，则称A为矛盾式(永假式) 。 若公式A至少存在一个成真赋值，则称A为可满足式。 若AB是重言式，则称A与B是等值的，记为AB， 并称AB为等值式。 7 基本的等值式(①~④) ①幂等律 A  AA, A  AA ②交换律 AB  BA, AB  BA ③结合律 (AB)C  A(BC) (AB)C  A(BC) ④分配律 A(BC)  (AB)(AC) A(BC)  (AB)(AC) 8 基本的等值式(⑤~⑩) ⑤德摩根律 (AB)