数理逻辑_2.pptVIP

(P?﹁Q) ∧ (Q?﹁R) ∧ ( R? (﹁P∧﹁Q) )=…=﹁P∧Q∧﹁R. 故 ﹁P∧Q∧﹁R＝１, 即：乙说真话，甲和丙说谎. 推理理论 从某些前提出发推出某些结论 当前提的真蕴涵结论的真时，称前提和结论之间有可推导性关系，即前提与结论之间的推理是正确的. 称这种推理为演绎推理. 演绎逻辑研究怎样的前提和结论之间有可推导性关系. 归纳逻辑 定义１　设A，B是两个公式，如果对任何指派I，当A为１时B必为１，则称A蕴涵B，或称B是A的逻辑结果，记为A?B． A称为蕴涵式前件，B称为蕴涵式后件. A ? B 当且仅当 A→B永真 例１　 ﹁(P→Q) ? P 解释性证明;永真式（重言式）推导 定义２　设 ?＝｛A１，A２，…，An｝是一个公式集合，B是公式，如果 A１∧A２∧…∧An ? B 则称B是 ? (或A１，A２，…，An) 的逻辑结果，记为 ? ? B　　 或　　 A１，A２，…，An ? B． 定义３　设 ? 是一个公式集合，从 ? 推出公式A的一个演绎推理是一个有限公式序列： A１，A２，…，Ak 其中，Ai (１≤i≤k) 满足如下条件之一： （1）Ai∈?． （2）Ai是某些Aj（j＜i）的逻辑结果． （3）Ai是永真式． 且Ak就是A． 当存在一个从公式集合 ? 推出公式A的演绎推理时，称 ? 可演绎出A，记为 ? |== A． ? 中的公式称为前提，A称为演绎结果或结论． 定理3　设 ? 是公式集合，A是公式，则 ? |== A 当且仅当 ? ? A． 定理4　设 ? 是一个公式集合，B，C是两个公式，如果从 ?∪{B}可演绎出C，则 ? ? B→C． 证明? ? B的三种方法 1）真值表法 2）证明 A１∧A２∧…∧An → B 永真 3）演绎法：前提引入 P，结论引入 C， 永真引入 T， 分离规则 MP：由A，A → B 可引入 B 附加条件CP： ? ? B →C 可证 ? U{B} ?C 例４　｛P∨Q，P→R，Q→S｝? S∨R. 证：由于 S∨R＝ ?S→R，只需证 ｛P∨Q，P→R，Q→R｝? ?S→R 又根据CP规则，可将 ?S 作为附加前提去演绎R，即只需证 ｛P∨Q，P→R，Q→S，?S｝|== R 故 (１)　Q→S　　 P　　 (２)　S　　　 P (３) 　Q　　　 C (１)(２) (４) 　P∨Q　 P　　 (５)　P　　　 C (３)(４) (６)　P→R　 P　　 (７)　R　　　　 MP(５)(６) 例5 前提：如果马会飞或狗不叫，则母鸡就会是飞鸟；如果母鸡是飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑. 结论：马不会飞、狗要叫. 令 P：马会飞，Q：狗要叫，R：母鸡是飞鸟，S：烤熟的鸭子还会跑. 要证：{P∨﹁Q→R, R→S, ﹁S} ?﹁P∧Q. (1) ﹁S P (2) R→S P (3) ﹁R C (1)(2) (4) P∨﹁Q→R P (5) ﹁(P∨﹁Q) C(3)(4) (6) ﹁P∧Q C(5) 数理逻辑 命题逻辑 命题 联结词 合式公式 等价式 范式 推理理论 谓词逻辑 谓词与量词 合式公式 等价与范式 推理理论 数理逻辑 命题逻辑 等价式 范式 推理理论 定义１　设A，B是两个公式，如果在任意指派下，A，B的真值总是相同的，则称A，B等价，记为A＝B. “＝”是一个关系符，表达两公式之间的一种关系. “?”是逻辑联词，把两个公式联接成一个新的公式. 证明 (P∧?P)∨Q ＝ Q 证：求出 (P∧?P)∨Q与Q的真值表如下 所以 (P∧?P)∨Q ＝ Q 定理１　设A，B，M是公式，则 (１)　A＝A (２)　若A＝B，则B＝A (３)　若A＝B，B＝M，则A＝M 即，公式的等价“＝”满足自反、对称、传递，是一个等价关系. 定理２　设A，B是公式，则A＝B当且仅当A ? B是永真式． 证明： 若A＝B，则对任何指派I， A，B的真值相同，从而A ? B的真值为１．故，A ? B永真． 反之，设A ? B永真，则对任何指派I，A ? B为１，由定义，A，B的真值相同，故A＝B． 常用的等价公式 １．双重否定律　??P＝P ２．结合律　　 (P∨Q)∨R＝P∨(Q∨R) (P∧Q)∧R＝P∧(Q∧R) ３．交换律　P∨Q＝Q∨P，P∧Q＝Q∧P ４．分配律　　 P∧(Q∨R)＝(P∧Q)∨(P∧R)， P∨(Q∧R)＝(