L1命题逻辑1离散数学幻灯片.pptVIP

主要内容 命题与命题联结词 命题公式 等值演算 命题公式的范式 联结词的功能完全集 永真蕴涵式 命题逻辑推理 Lu Chaojun, SJTU * * 命题公式 问题:通过联结词构成复杂命题时,如何才是有意义的命题? 例如: ?a?b?c的意义明确吗? 定义(命题公式): (1)命题常量和命题变量是命题公式. (2)如果A、B是命题公式,则(?A), (A?B), (A?B), (A?B)和(A?B)也是命题公式. (3)所有命题公式都通过(1)(2)得到. Lu Chaojun, SJTU * * 关于命题公式定义 符号表:这里隐含规定使用大小写字母(可带下标),联结词,圆括号. 这种定义方式是形式系统常用的合式定义,所定义的公式称为合式公式(wff). (1)(2)是归纳定义的奠基和归纳步骤,(3)并不是多余的一句话.(Why?) 为简化括号的使用,可规定联结词的优先级(由高到低): ? ? ? ? ? 同级:自左到右次序 最外层括号常省略 Lu Chaojun, SJTU * 判断符号串是否wff 根据合式定义,层层归约,直到原子命题即可判断. 例 (?(a?b)) (a?(?(a?b))) (((a?b)?(b?c))?(a?c)) ?(a?b)?b (a??b) Lu Chaojun, SJTU * * 命题变量的真值 命题公式的真值由其成员命题的真值决定. 公式中有命题变量时如何确定真值? 对公式中所有命题变量进行真值赋值(指派),则公式的真值即可确定.不同赋值导致公式的不同真值. 真值赋值:设U是全体命题变量的集合.一个真值赋值t是从U到{0,1}的一个函数. Lu Chaojun, SJTU * * 命题公式的真值 命题公式A在真值赋值t下的真值t(A): (1)A是命题常量a,则t(A) ? a的真值. (2)A是命题变量x,则t(A) ? t(x). (3) t(?A) ? 1 iff t(A) ? 0. (4) t(A?B) ? 1 iff t(A) ? t(B) ? 1. (5) t(A?B) ? 0 iff t(A) ? t(B) ? 0. (6) t(A?B) ? 0 iff t(A) ? 1且t(B) ? 0. (7) t(A?B) ? 1 iff t(A) ? t(B) Lu Chaojun, SJTU * * t( )的性质 定理 (1) t(1) ? 1, t(0) ? 0. (2) t(?A) ? ?t(A). (3) t(A?B) ? t(A) ? t(B). (4) t(A?B) ? t(A) ? t(B). (5) t(A?B) ? t(A) ? t(B). (6) t(A?B) ? t(A) ? t(B). Lu Chaojun, SJTU * 例:计算公式的真值 1.求A ? (x?y)?((?x)?(y?z))在t(x) ? 0, t(y) ? 1, t(z) ? 0时的真值. 解: t(x?y) ? 1 t(?x) ? 1 t(y?z) ? 0 t((?x)?(y?z)) ? 0 t(A) ? t(1?0) ? 0 2.设t(x?y) ? 0,求t((y?(x?y))?x). 解:由t(x?y) ? 0,知t(y?(x?y)) ? 0. 则t((y?(x?y))?x) ? 1. Lu Chaojun, SJTU * 命题公式分类 若命题公式A在任一赋值下值都为1,则称A为永真式(或重言式,tautology). 例: a ? (?a). 重言式由?,?,?,?联结所得公式仍是重言式. 重言式反映了逻辑规律. 若A在任一赋值下值都为0,则称A为永假式(或矛盾式contradiction). 例: a ? (?a) 若A在某个赋值下值为1,则称A是可满足式. 例: a ? b Lu Chaojun, SJTU * * 三类公式间关系 以下关系是显然的 (1) A永真 iff ?A永假. (2) A可满足 iff ?A非永真. (3) A非可满足 iff A永假. (4) A非永假 iff A可满足. Lu Chaojun, SJTU * * 永真 可满足 永假 真值表技术 问题:如何确定命题公式的永真永假可满足性质? 方法:构造命题公式的真值表. 针对公式中的所有命题变量,罗列所有可能的真值赋值; 思考:设有n个命题变量,则有多少可能的赋值? 对每一赋值,从小到大计算子公式的真值. 例: (x?(x?y))?y是重言式吗? Lu Chaojun, SJTU * 逻辑题: 谁是谁? 某岛上只有骑士(knight)和无赖(knave)两种居民.骑士总说真话,无赖总说假话. 假如