由(P,→q)A(P2→q)A(P3→q)=p→q。 [思考题： 1、什么是同一法？ 2、试述反证法的逻辑基础。 3、试述反证法的实质。 由 ( p1 → q)  ( p2 → q)  ( p3 → q)  p → q。 [思考题]： 1、什么是同一法？ 2、试述反证法的逻辑基础。 3、试述反证法的实质