充要条件假言推理

所谓充要条件假言推理，就是运用充要条件推理的形式对某一假设存在所进行的一种证明方法。这种方法之所以能够运用于证明，是因为客观事物中存在着这样一种条件联系：某种现象或者情况存在必然引起另一现象或情况存在，而另一现象或情况的存在必然决定某一现象或情况也存在。逻辑表达形式为：

当且仅当p,才r

已知r真

所以p真