逻辑学第四章 节 谓词逻辑.ppt

引入全称量词的推理规则 引入全称量词的推理规则也称全称概括规则（?+） 如果个体变元ｖ在公式Ａ中是不带标记的（即v不在前提和A依赖的假设中自由出现），那么可从Ａ推出?ｖＡ。 对个体变元ｖ进行全称概括是有条件的：ｖ必须不带标记。 下面推理是无效的： Ｈｘ Ａ ?ｘＨｘ 不加限制地使用?+ 构造一个模型μ，使得D是自然数，谓词H解释为“小于3”。δ=μ ，ρ，其中ρ(x) =1。于是δ(Hx)=T（即前提“1小于3”是真的），而δ(?xHx)=F，即结论的解释命题“所有自然数小于3”是假的。 由此可见，对带有标记的个体变元不能进行全称概括。 全称量词推理规则的应用 所有绝缘体(Ｆx)都不能导电（Ｅｘ）。金属（Ｄｘ）都导电，铝制品（Ｇｘ）都是金属，所以，铝制品不是绝缘体。 （１）?ｘ（Ｆｘ→Ｅｘ） 　　 Ａ１ （２）?ｘ（Ｄｘ→Ｅｘ） 　　 Ａ２ （３）?ｘ（Ｇｘ→Ｄｘ） 　　 Ａ３ （４）Ｆｘ→Ｅｘ 　　 （１），?_ （５）Ｄｘ→Ｅｘ 　　 （２），?_ （６）Ｇｘ→Ｄｘ 　　 （３），?_ 　　（７）Ｇｘ 　ｘ，H（→+ 的假设） 　　（８）Ｄｘ 　 ｘ，(6)，(7)，→_ 　　（９）Ｅｘ 　ｘ，(5)，(8)，→_ 　　（１０）Ｆｘ 　ｘ，(4)，(9)，→_ （１１）Ｇｘ→Ｆｘ 　　　 (7)－(10)，→+ （１２）?ｘ（Ｇｘ→Ｆｘ） 　　　 (11)，?+ 存在量词的推理规则 （１）?ｘＦｘ A （２）Ｆｘ  (1), ?_ 从（１）到（２）不是有效的逻辑推理： 构造一个模型μ 使得D是自然数，一元谓词F解释为“大于1”。δ=μ ,ρ,其中，ρ（x）=1。于是δ(?xFx)=T,即（１）的解释“有的自然数大于1”是真的，而δ(Fx)=F,即（２）的解释“１大于１”是假的。 因此，从?ｘＦｘ不能推出Ｆｘ。 ?ｘＦｘ断定了至少有一个具有性质Ｆ的个体存在。但是，这一个体是不确定的，不能断定它就是某个具体的个体，因此，可以用符号： α，β，γ，…；α1，α2，… 表示不确定个体。Fα意指：“不确定个体α有性质Ｆ”。 从而，可以从?ｘＦｘ推出Ｆα 存在量词的推理规则 消去存在量词的推理规则 消去存在量词的推理规则也称为存在例示规则（?_） 从?ｖＡ可推出Ａ（ｖ／π），π称为新名，即在前的公式中没有出现过的不确定个体的名称，并且π须带标记。 引入存在量词的推理规则 引入存在量词的推理规则规则也称为存在概括规则（?+） 从Ａ（t）可推出?ｖＡ。其中，t可以是不确定个体的名称，也可以是个体常项或个体变元。 关于存在量词推理的应用 ?x(Hx→Gx)，?xHx├?xGx （１）?ｘ（Ｈｘ→Ｇｘ） Ａ１ （２）?ｘＨｘ Ａ２ （３）Ｈα α，（２），?_ （４）Ｈα→Ｇα （１），?_ （５）Ｇα α，（3），（4），→_ （６）?ｘＧｘ 　（５），?+ 关于存在量词推理的应用 所有哺乳动物（Ｄｘ）是动物（Ｅｘ），有的哺乳动物是水生的（Ｆｘ），所以，有的动物是水生的。 （１）?ｘ（Ｄｘ→Ｅｘ） 　　Ａ１ （２）?ｘ（Ｄｘ∧Ｆｘ） 　　Ａ２ （３）Ｄα∧Ｆα α，（２），?_ （４）Ｄα→Ｅα 　　（１），?_ （５）Ｄα 　　　　　　　　　α，（３），∧_ （６）Ｅα　　　　　　　　　 α，（4），（5），→_ （７）Ｆα 　　　　　　　　　α ，（３），∧_ （８）Ｅα∧Ｆα 　　　　　　α ，（６），（７）， ∧+ （９）?ｘ（Ｅｘ∧Ｆｘ） 　　（８），?+ ?_规则的限制 （1）不确定个体的名称必须是没有出现过的新名 （2）新名必须带标记。 （１）?ｘＦｘ 　 Ａ１ （２）?ｘ?Ｆｘ