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