证明定理的方法

要证明逻辑关系 $P⟹Q$，只需要证明 $P\to Q$ 为永真式即可

经典证明

直接证明

间接证明

逻辑方式证明

空证明

平凡证明

归谬证明

分情形证明

等价性证明

量词证明

存在性证明