管理逻辑学456.PPTVIP

谓词推理的形式推演 谓词推理的一般步骤 1. 翻译 将前提和结论写为谓词公式 (?x) (Sx? Px) P / ∴ (?x)(Sx∧Px) 2. 根据量词消去规则去掉前提中的量词 运用 ?＿和?－ 3. 根据命题逻辑自然演绎方法进行推演 运用10条规则 得出与量词公式结相 仿的无量词命题 如，要得的结论是(?x)(Sx∧Px) ，先得到 Sa∧Pa 4. 根据量词引入规则，给结论添加量词 运用?+和?+ 所有健康长寿的人都坚持锻炼， 张三没坚持锻炼， 所以，张三不是健康长寿的人 健康长寿的人＝H 坚持锻炼＝A 张三＝a 1. (?x) (Hx?Ax) P 2. ?Aa P / ∴ ?Ha 3. Ha? Aa 1 , ?＿ 4. Ha AP 5. Aa 3 , 4, ?- 6. Aa ∧? Aa 2 , 5 , ∧+ 7. ? Ha 4 ,6 , ?+ 教科书p219例1证