聯言命題和假言命題的區別

　　聯言命題的邏輯聯結詞比較簡單，“並且”“而且”“還”等，只要表示支命題之間是同時為真的詞項，都可以作為聯言命題的邏輯聯結詞。假言命題分為三類：充分條件假言命題、必要條件假言命題、充分必要條件假言命題。

　　充分條件假言命題的邏輯連線詞以“如果，那麼”為典型連線詞，包括“只要，就”等。

　　必要條件假言命題的邏輯聯結詞以“只有，才”為典型，包括“除非，才”等；充分必要條件假言命題的邏輯聯結詞以“當且僅當，才”為典型。

　　真命題就是正確的命題，即如果命題的題設成立，那麼結論一定成立。一個命題都可以寫成這樣的格式：如果+條件，那麼+結論。條件和結果相矛盾的命題是假命題。另外如果結論不完全符合條件（有符合條件但不符合結論的特例），也算假命題。

　　定理與真命題

　　定理是根據公理或已知的定理推匯出來的真命題。這些真命題都是最基本的和常用的，所以被人們選作定理。還有許多經過證明的真命題沒有被選作定理。所以，定理都是真命題，而真命題不都是定理。例如：“若∠1=∠2，∠2=∠3，那麼∠1=∠3”，這就是一個真命題，但不能說是定理。

　　總之，公理和定理都是真命題，但有的真命題既不是公理。也不是定理。公理和定理的區別主要在於：公理的正確性不需要用推理來證明，而定理需要證明。

　　原命題和逆否命題為等價命題．如果原命題成立，逆否命題成立。逆命題和否命題為等價命題，如果逆命題成立，否命題成立。命題的否定只否結論。

　　如果兩個命題中一個命題的條件和結論分別是另一個命題的結論和條件的否定，則這兩個命題稱互為逆否命題。命題的否定只否結論。一個命題為原命題，則和它互為逆否命題的命題為原命題的逆否命題。