1、四種命題：
⑴原命題：若p則q；
⑵逆命題：若q則p；
⑶否命題：若 p則 q；
⑷逆否命題：若 q則 p
注：
1、原命題與逆否命題等價；逆命題與否命題等價。判斷命題真假時注意轉化。
2、注意命題的否定與否命題的區別：命題否定形式是 ；否命題是 。命題 或 的否定是 且 且 的否定是 或 。
3、邏輯聯結詞：
⑴且（and） ：命題形式 p q； p q p q p q p
⑵或（or）：命題形式 p q； 真 真 真 真 假
⑶非（not）：命題形式 p 。 真 假 假 真 假
假 真 假 真 真
假 假 假 假 真
或命題的真假特點是一真即真，要假全假
且命題的`真假特點是一假即假，要真全真
非命題的真假特點是一真一假
2、充要條件
由條件可推出結論，條件是結論成立的充分條件；由結論可推出條件，則條件是結論成立的必要條件。
3、全稱命題與特稱命題：
短語所有在陳述中表示所述事物的全體，邏輯中通常叫做全稱量詞，並用符號表示。含有全體量詞的命題，叫做全稱命題。
短語有一個或有些或至少有一個在陳述中表示所述事物的個體或部分，邏輯中通常叫做存在量詞，並用符號 表示，含有存在量詞的命題，叫做存在性命題。
全稱命題p： ； 全稱命題p的否定 p：。
特稱命題p： ； 特稱命題p的否定 p：
