反证法的逻辑正确性必定来自于逻辑！ ·令：A表示V2不是有理数；B(p,q)表示p和q互质 ·假定：7A为真 注意p,q值域， ·推理： 此处省略 (A,若干数学定理)→F ·A T→(A∧若干数学定理) ·3p3q ·p2=2q 其实，这两步之 (A∧若干数学定理)=F ·p是偶数，令p=2m 间的逻辑还挺复 A =F 4m2=2q 杂，更为本质！ ·2m2=g A=T q是偶数 ·B(p,q) ·B(p,q) ·B(p,q)AB(p,q) ·False ·A三T反证法的逻辑正确性必定来自于逻辑！ • 令：𝐴表示 2不是有理数；𝐵(𝑝, 𝑞)表示p和q互质 • 假定：¬𝐴为真 • 推理： • ¬𝐴 • ∃𝑝∃𝑞 2 = 𝑝 𝑞 ∧ 𝐵 𝑝, 𝑞 • 𝑝 2 = 2𝑞 • 𝑝是偶数，令𝑝 = 2𝑚 • 4𝑚2 = 2𝑞 • 2𝑚2 = 𝑞 • 𝑞是偶数 • ¬𝐵 𝑝, 𝑞 • 𝐵 𝑝, 𝑞 • 𝐵 𝑝, 𝑞 ∧ ¬𝐵 𝑝, 𝑞 • 𝐹𝑎𝑙𝑠𝑒 • 𝐴 ≡ 𝑇 注意p,q 值域， 此处省略 其实，这两步之 间的逻辑还挺复 杂，更为本质！