传递推理：若能由A推出B，且能由B推出C，那么就可断言：由A能够推出C。 亦即是说：A推出B且B推出C则等价于A推出C。
逆否推理：如果从结论的否定出发，能够推得条件的否定，那么就证明原命题成立。也就是说，要证A推出B成立，只要证明非B推出非A成立即可。
