11谓词演算的推理理论(离散数学).ppt

*/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)。 * 构造推理证明 例1 证明苏格拉底三段论: “人都是要死的, 苏格拉 底是人，所以苏格拉底是要死的.” 令 F(x): x是人, G(x): x是要死的, a: 苏格拉底 前提：?x(F(x)?G(x))，F(a) 结论：G(a) 证明：① F(a) 前提引入