反证法的逻辑正确性必定来自于逻辑！ ·定理证明： ·前提：一组命题公式A1,A2,,Ak ·结论：一个命题公式B 在这个一般性的定理证 ·如果是这样： 明过程中，你现在能说 ·前提：一组命题公式B,A1,A2,,Ak 清楚反证法的基本方法 ·结论：F 和它的逻辑正确性吗？ ·即：B,A1,A2,,Ak→F ·.(B∧A1∧A2A…AAk)=F ·又A1,A2,.,Ak为真 。B=F ·B=T ●反证法的逻辑正确性必定来自于逻辑！ • 定理证明： • 前提：一组命题公式A1, A2, …, Ak • 结论：一个命题公式B • 如果是这样： • 前提：一组命题公式¬𝐵, 𝐴1,𝐴2, … , 𝐴𝑘 • 结论：𝐹 • 即：¬𝐵, 𝐴1, 𝐴2, … ,𝐴𝑘 ⇒ 𝐹 • ∴ ¬𝐵 ∧ 𝐴1 ∧ 𝐴2 ∧ ⋯ ∧ 𝐴𝑘 = 𝐹 • 又∵ 𝐴1, 𝐴2,… , 𝐴𝑘为真 • ∴ ¬𝐵 = 𝐹 • ∴ 𝐵 = 𝑇 在这个一般性的定理证 明过程中，你现在能说 清楚反证法的基本方法 和它的逻辑正确性吗？