能够判断真假的语句(包括式子)称为命题。其分为真命题和假命题。真命题是指“命题成立”;假命题是指“命题不成立”。如:
(1)“10大于5”为真命题,即这个命题成立。
(2)“3等于7”为假命题,即这个命题不成立。
(3)“如果一个四边形是正方形,那么它的四个边长相等”为真命题。
(4)“圆是一个长方形”为假命题。
命题有四种形式:原命题、逆命题、否命题和逆否命题。如果原命题是“如果p则q”,它的逆命题就是“如果q则p”;它的否命题是“如果非p则非q”,逆否命题是“如果非q则非p”。 6/X5LccJqykfHOLiFgkavBk5vgMJiJ6Efyh7lMC9l2ODspNFkjmfq1L+NZyJ5NSv