第二章 命题逻辑.pptVIP

* * 模态命题 模态命题是包含了“必然”、“应当”等模态词的命题，例如: （1）长期不懈的努力必然有收获。 （2）任何公民都应当遵纪守法。。 （3）如果所有人不种田，那么所有人会饿死，这是可能的。 * * 真值表的作用 真值表在命题逻辑中是一种重要的工具， 它的作用有： 一、定义作用： (1)定义逻辑连接项的性质，如:?、∧、∨、　、→、?。 (2)定义命题的类型，如:重言式（永真式）、矛盾式（永假式）、协调式（有真有假）。 * * 真值表的作用 二、判定作用： (1)判定命题间的关系，如： p→q与?(p∧?q) ?p∨q与p→q p→q与p∧?q (2)判定推理是否有效，如： (p→q)∧p→q (p→q)∧q→p * * 真值表的作用 三、总结正确推理形式及其规则： 如通过真值表可总结(p→q)∧p→q，即 当p→q真并且p真时，q必定为真。 又如对于(p→q)∧?q→p，即 当p→q真并且q假时，p必假。 * * NP系统中的语法(语形)推出关系 T18(a) ?(A∧B)├┤?A∨? B(记为DeM.) T18(b) ?(A∨B)├┤?A∧? B(记为DeM.) T19(a) ?(A∨B)├ ?A T19(b) ?(A∨B)├ ?B T20(a) ?A├ ?(A∧B) T20(b) ?B├ ?(A∧B) *