全称规则px.pptVIP

在第(6)步骤灵活运用了 公理21: ?x(P(x)??xP(x)) 对于每个个体x成立,所以对于特定的个体e成立 Q(e)??x Q(x) 在第(6)步骤灵活运用了 公理21: ?x(P(x)??xP(x)) 结论受全称量词约束, 是若干蕴涵式的合取, 不再是一个蕴涵式. 这就是下述定义不合适的例子: 如果 Γ，△A├△B， 则 Γ ├△(A?B)。 结论受全称量词约束, 是若干蕴涵式的合取, 不再是一个蕴涵式. 这就是下述定义不合适的例子: 如果 Γ，△A├△B， 则 Γ ├△(A?B)。 结论受全称量词约束, 是若干蕴涵式的合取, 不再是一个蕴涵式. 这就是下述定义不合适的例子: 如果 Γ，△A├△B， 则 Γ ├△(A?B)。 * */51 例 求证苏格拉底三段论 凡人要死，苏格拉底是人，所以苏格拉底要死。 解： P(e): e是人 D(e): e要死 a:苏格拉底 (1) ? x(P(x)? D(x)) 假设 (2) P(a) 假设 (3) P(a) ? D(a) 全称量词消去规则 (4) D(a) (2)(3)分离 由推理定理得： ? x(P(x)? D(x))，P(a)├ D(a) */51 例 下面推理是否正确？ 设前提为?x?yF（x，y）， （1） ?x?yF（x，y） 前提引入 （2） ?y F（y，y） 全称量词消去 解 推理并不正确。 如果给定解释I：个体域为实数集， F（x，y）：x＞y。 则 ?x?yF（x，y）意为“对于每个实数x，均存在着比之更小的实数y”，这是一个真命题。 而?yF（y，y）意为“存在着比自己小的实数”，是假命题。 之所以出现这样的错误,是因为?yF（x，y） 中有1个自由变元x, 而?y F（y，y）中无自由变元。 */51 例 下面推理是否正确？ 设前提为?x?yF（x，y）， （1） ?x?yF（x，y） 前提引入 （2） ?yF（t，y） 全称量词消去 （3） F（t，c） 存在量词消去 （4） ?xF（x，c） 全称量词引入 （5） ?y?xF（x，y） 存在量词引入 解： 推理并不正确。 如果给定解释I：个体域为实数集，F(x,y)：x＞y。 则 ? x?yF（x，y）为真， 而?y ?xF（x，y）意为“存在着最小实数”，是假命题，故知推理不正确。 之所以出现这样的错误，是在第（3）步中， ?yF（t，y ）非闭式（含有自由变元t)。 */51 例 ├ ?y?xF(x, y)? ?x?yF(x, y) 证明(假设推理证明)： (1) ?y?xF(x, y ) 假设 (2) ?x F(x, c) 额外假设 (3) F(t, c) 消去全称量词 (4) ?yF(t, y) 存在量词引入 (5) ?x?yF(x, y) 全称量词引入 证明(公理推理证明已介绍过) */51 例1 (p55) ├ ?x(P(x)?Q(x))?(?xP(x)??xQ(x)) 证明： (1) ?x(P(x)? Q(x)) 假设 (2) ?x P(x) 假设 (3) P(e)? Q(e)