具体可以参考离散数学。
命题证明的等价性,主要是逻辑等价性,你可以假设PQ为真假一共四种情况,依靠条件命题p->q的真值表证明,下附真值表。
内容来自网友回答
命题的否定
命题的否定
为什么全称命题的否定是特称命题?
存在命题的否定与否命题的区别?
仿命题与否定的区别?
全称(特称)命题的否定和命题的否定的区别?
非命题,命题的否定,否命题的区别?
全称命题与特称命题的否定与否命题有什么区别?
数学中一般命题的否定与非?
全称命题的否定与否命题?
全称命题和特称命题的否定与否命题是什么?
原命题与命题的否定是不是必有一个正确,命题与否命题?