(2)p1→(p2→),p2推出p1→>p3 解: 使p1→3为假的指派有(1,*,0) 其中使p2为真的指派只有(1,1,0), 而(1,1,0)使p1→>(2→>p3)为假。 故没有使前提为真而结论为假的指派,从 而此推理有效(2) p1 → (p2 →p3)，p2推出p1 →p3 解： 使p1 →p3 为假的指派有（1，*，0）， 其中使p2 为真的指派只有（1，1，0）， 而（1，1，0）使p1 → (p2 →p3) 为假。 故没有使前提为真而结论为假的指派，从 而此推理有效