或者我尝试着举个例子（不知道本质一不一样就是了）
求证x≤0（此处x为一个范围）（然而在证出来之前我们并不知道这个命题的真实性）
假设x＞0，推出矛盾
但是实际的x取值范围是全体实数，所以这样虽然x＞0是错的，但x≤0也是错的
所以严密的假设应该是“可能有x值＞0”

dd

额，还有一个认知方向是，求证B是伪命题一般用到三角形内角和，但用三角形内角和证明的是“三角形中不能有超过两个钝角”，而不止证伪了“三角形中至少有两个钝角”
（第一个必须要证明所有三角形都不能有，第二个则只需要证明有一个三角形有不到两个钝角就行了）
否则，我只要随便画一个三角形，就证明了“三角形中至少有两个钝角”不成立，因为使用了反证法，所以“三角形中最多有一个钝角”成立？
（也就是用“存在性”证明了“恒成立”（这个表述显然是不严谨的，希望能理解））