http://tieba.baidu.com/p/5819691206?share=9105&fr=share&see_lz=0&sfc=copy&client_type=2&client_version=10.3.8.10&st=1568877241&unique=9044959FC95848A70A4921C3C13B29AA

反证法原理是证非q为假，还是证明非q→p是假命题？
=================================================================
反证法是假设 结论的反面成立 然后结合前提条件 推出矛盾 证明原结论成立

问题1、反证法的原理是什么：
题目给了你一堆条件a、b、c、d、e……，求证p。
反证法：假设非p，可以推出非a，这与已知条件（或定理）相矛盾，所以假设不成立。
也就是，非P会推出矛盾命题【a且非a】，所以非p是假的。
可以用【逆否命题和原命题真、假相同】的原理来看：
我们推出了：【若非p，则非a】。
应用逆否命题，可知道：【若a，则p】。
-----------------------
问题2:
数学中的【若p、则q】，p、q并不是2个单纯的命题，这与日常中的条件句不太一样。
数学中一般是【（对任意x），若X是P，则X是Q】，等价于全称命题【所有P都是Q】（既然是等价，说全称命题有逆否，虽然不太严谨，但也不是不行：【所有不是Q的都不是P】）。
【如果a＞0，则a＞2】的否定形式是【存在a，a>0且a≤2】
----------
问题3：
你引入了【不一定】这个概念，这也可以。
这样【（对任意x），若X是P，则X是Q】的否定形式，也可以表达为【（对任意x），若X是P，则X不一定是Q（则X可能不是Q）】（虽然这种表达不是标准形式）
-------------------
总之，你的问题2、3，本质上是一样的。
数学上的 【 若p，则q】 ，等价于【全称命题】。否定形式并不是什么 【p且非q】。