(2)间接证明就是通过证明相关命题的虚假，以迂 回的方式确定论题之真实性的证明。 常用的间接证明有两种，即反证法和穷举法。 I,反证法：求证p真 (1)设一p正确： (2)如果一p,则q: (3)但是q假： (4)所以-p不成立（否定后件式）： (⑤)所以p真（根据排中律 Ⅱ.穷举法：求证p真。 (I)或者p,或者q,或者r: (2)但已知q、r为假： (3)所以p真（否定肯定式）⑵间接证明就是通过证明相关命题的虚假，以迂 回的方式确定论题之真实性的证明。 常用的间接证明有两种，即反证法和穷举法。 Ⅰ.反证法：求证p真。 ⑴设－p正确； ⑵如果－p，则q； ⑶但是q假； ⑷所以－p 不成立（否定后件式）； ⑸所以p真（根据排中律）。 Ⅱ.穷举法：求证p真。 ⑴或者p，或者q，或者r； ⑵但已知q、r为假； ⑶所以p真（否定肯定式）