符号“¬”叫做否定符号.“¬p”读作“非p”,表示p的否定,即不是p
探究点1 四种命题之间的关系
四种命题形式: 原命题, 逆命题, 否命题,逆否命题
若 p , 则 q 若 q , 则 p 若┐p , 则┐q 若┐q , 则┐p
原命题: 逆命题: 否命题: 逆否命题:
提示:四种命题形式: