例10下列推理形式是否有效? (1)(-p1)vp2,p1→(p3^p4),p4→p2, p3→p推出p2Vp4 解:目的是看能否找到使前提为真、且结论为假的 指派。 使p2vp4为假的指派有(*,0,*,0), 其中使(-p)p2为真的指派有(0,0,*,0) 其中使p3→>p4为真的指派有(0,0,0,0), (0,0,0,0)使p1→>(p3∧p4和p4→p2都为真 从而这个推理是无效的。例10 下列推理形式是否有效？ (1) (¬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都为真。 从而这个推理是无效的