下载掌阅APP，畅读海量书库
立即打开
能够判断真假的语句（包括式子）称为命题。其分为真命题和假命题。真命题是指“命题成立”；假命题是指“命题不成立”。如：
（1）“10大于5”为真命题，即这个命题成立。
（2）“3等于7”为假命题，即这个命题不成立。
（3）“如果一个四边形是正方形，那么它的四个边长相等”为真命题。
（4）“圆是一个长方形”为假命题。
命题有四种形式：原命题、逆命题、否命题和逆否命题。如果原命题是“如果p则q”，它的逆命题就是“如果q则p”；它的否命题是“如果非p则非q”，逆否命题是“如果非q则非p”。