1．命題的定義：可以判斷真假的語句叫做命題。
2．邏輯聯結詞、簡單命題與復合命題：
「或」、「且」、「非」這些詞叫做邏輯聯結詞；不含有邏輯聯結詞的命題是簡單命題；
由簡單命題和邏輯聯結詞「或」、「且」、「非」構成的命題是復合命題。
構成復合命題的形式：p或q(記作「p∨q」 )；p且q(記作「p∧q」 )；非p(記作「┑q」 )
3．「或」、「且」、「非」的真值判斷（詳見右表真值表（1）「非p 」 —— 與p的真假相反
（2）「p且q」—— 「一假則假」
（3）「p或q」—— 「一真則真」
4.四種命題的形式：
原命題：若p則q； 逆命題：若q則p；
否命題：若┑p則┑q； 逆否命題：若┑q則┑p。
(1)交換原命題的條件和結論，所得的命題是逆命題；
(2)同時否定原命題的條件和結論所得的命題是否命題；
(3)交換原命題的條件和結論，並且同時否定，所得的命題是逆否命題．注 ：「否命題」是既否條件又否結論；「命題的否定」只否結論。
5．四種命題之間的相互關係：
乙個命題的真假與其他三個命題的真假關係：
①原命題為真，它的逆命題不一定為真。
②原命題為真，它的否命題不一定為真。
③原命題為真，它的逆否命題一定為真。
注：(原命題逆否命題；逆命題否命題)
6.全稱量詞與存在量詞：
含有乙個量詞的命題的否定：
（1）命題的否定是；
（2）命題的否定是.
注：常見結論的否定形式：
7.充要條件：
（1）充分條件：若，則是充分條件.（前後）（2）必要條件：若，則是必要條件.（前後）（3）充要條件：若，且，則是充要條件.
注：（1）如果甲是乙的充分條件，則乙是甲的必要條件；反之亦然.
（2）注意是「…是…的…」結構，還是「…的…是…」結構8．反證法：從命題結論的反面出發（假設），引出(與已知、公理、定理…)矛盾，從而否定假設證明原命題成立，這樣的證明方法叫做反證法。
簡易邏輯複習小結
知識點梳理 1.或 且 非 的真假判斷 2.1 全稱命題 一般形式 它的否定 2 存在性命題 一般形式 它的否定 3.條件結論 p q p是q的 p q p是q的 p q p是q的 4.原命題 逆命題若q則p 否命題逆否命題 同真假的命題是 二 訓練 1.是a,b,c成等差數列的 a 充分而不必要條...
集合與簡易邏輯
一 集合知識點歸納 1 集合 某些指定的物件集在一起成為集合。1 集合中的物件稱元素，若a是集合a的元素，記作 若b不是集合a的元素，記作 2 集合中的元素必須滿足 確定性 互異性與無序性 確定性 設a是乙個給定的集合，x是某乙個具體物件，則或者是a的元素，或者不是a的元素，兩種情況必有一種且只有一...
集合與簡易邏輯
1 已知 則 a 2 b 1 c 2或 1 d 1或3 2 已知集合，則 a b c d 3 下列命題中，真命題的個數有 是 的充要條件 是奇函式.a 1個 b 2個 c 3個 d 4個 4 若數列滿足 為正常數，則稱為 等方比數列 甲 數列是等方比數列 乙 數列是等比數列，則 a 甲是乙的充分條件...