反证法的逻辑正确性必定来自于逻辑！ 。定理证明： 前提：一组命题公式A1,A2,,Ak ·结论：一个命题公式B ·如果是这样： 问题1：在这个一般性的 ·前提：一组命题公式7B,A1,A2,,Ak 定理证明过程中，你现在 ·结论：F 能说清楚反证法的基本方 ·即：7B,A1,A2,,Ak=>F 法和它的逻辑正确性吗？ 。BΛA1ΛA2Λ.A=f ·A,A2,,A为真 ·B=F ·B=T反证法的逻辑正确性必定来自于逻辑！ • 定理证明： • 前提：一组命题公式A1 , A2 , …, Ak • 结论：一个命题公式B • 如果是这样： • 前提：一组命题公式¬ B,A1 , A2 , …, Ak • 结论：F • 即：¬ B,A1 , A2 , …, Ak=>F • ¬ B ∧ A1 ∧ A2 ∧ … ∧Ak=F • A1 , A2 , …, Ak为真 • ¬ B=F • B=T 问题1：在这个一般性的 定理证明过程中，你现在 能说清楚反证法的基本方 法和它的逻辑正确性吗？