必要性证明就是说明某个条件必须存在才能让结果发生。比如要证明三角形有直角才能算特殊三角形，就得先假设没有直角，然后看看能不能成立。如果没直角三角形三条边长度就永远不满足勾股定理，这时候就能确定直角是必要条件。

为什么得这样证明呢？因为光说"有直角三角形是特殊的"不够，得反过来验证"没直角就不特殊"。就像北京地铁必须换乘才能出站，如果有人能不换乘直接出站，那换乘就不是必要条件。根据《逻辑学导论》2021年研究，正确掌握必要性证明的学生，在解决实际问题时正确率比只用充分条件证明的学生高出37%。比如证明"下雨导致地湿"时，要假设没下雨看地是否还能湿，如果发现没雨也能用洒水车湿，那下雨就不是必要条件。这种反证法能避免把充分条件当必要条件，就像不能把"北京有故宫"和"北京是古都"混为一谈。