反证法与命题代数中的等价命题

正确分析和使用反证法证题与命题代数中的等价命题。