《数理逻辑》第26章命题逻辑第5节 推理形式.ppt

第5节 推理形式 第二十六章 命题逻辑 第26章 * * 内容提要 推理形式 有效推理形式 推理形式是有效的充要条件 一些有效推理形式 第26章 推理形式 前两节介绍了命题的“形式”。 本节介绍推理的“形式”。 推理是逻辑的研究对象。 什么是推理形式？ 一组前提，一个结论 前提、结论都是命题。 若前提为?1，?2，…，?n，结论为?， 则将这样的推理形式称为 ?1，?2，…，?n推出?。 什么是正确的推理形式？ 直观上，正确的推理应该保证：如果前提正确，则结论也应该正确。 设?1，?2，…，?n, ?都是命题形式,称推理“?1，?2，…，?n推出?”是有效的，如果对?1，?2，…，?n, ?中出现的命题变元的任一指派, 若?1，?2，…，?n都真, 则?亦 否则，称“?1，?2，…，?n推出?”是无效的或不合理的. 例8 ? ? ?、 ?推出?是有效的。 ? ? ?、 ? ?推出?是有效的 注记 推理形式是否有效与前提中命题形式的排列次序无关。即： 若“?1，?2，…，?n推出?”是有效的，则对1，2，…，n的任一个排列i1, i2, …, in, “ 推出?”也是有效的。 所以前提是一个集合?，而不是一个序列。 若“?1，?2，…，?n推出?”是有效的，则记为?╞ ?。 下列推理形式是否有效？ (1) p ? q、? q、(p ?q) ?r推出r是无效的。 P q p ? q ? q (p ?q) ?r r 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 ? 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 下列推理形式是否有效？ (2) (?p1)?p2，p1?(p3 ?p4)， p4?p2，p3?p4推出p2 ? p4 。 解：目的是看能否找到使前提为真、且结论为假的指派。 使p2 ? p4为假的指派有（*，0，*，0）， 其中使 (?p1)?p2为真的指派有(0，0，*，0)， 其中使p3?p4为真的指派有（0，0，0，0）， 而（0，0，0，0）使p1 ? (p3?p4)和p4? p2都为真。 从而这个推理是无效的。 下列推理形式是否有效？ (3) p1?(p2?p3)，p1推出p1 ?p3 解： 使p1 ?p3 为假的指派有（1，*，0）， 其中使p2 为真的指派只有（1，1，0）， 而（1，1，0）使p1 ? (p2 ?p3) 为假。 故没有使前提为真而结论为假的指派，从而此推理有效。 充要条件 推理形式“?1，?2，…，?n推出?” 有效的充要条件是命题形式(?1 ? ?2 ? … ? ?n) ? ?是重言式。 意义： 推理形式的有效性与命题形式的永真性可以互相化约。 今后将建立带前提的证明系统和重言式证明系统，并证明它们的等价性。 一些有效推理 若??{?}╞ ?，且??{?}╞ ?， 则??{? ? ?}╞ ? 若??{? ?}╞ ?，且??{? ?}╞ ? ? ， 则?╞ ?。 … 谢 谢 * *