1、常用的邏輯用語復(fù)習(xí)、知識網(wǎng)絡(luò)、命題的形式：“p則q”，通常這種形式的命題中的p是命題的條件，q是結(jié)論，1 .用語言、符號或者式表現(xiàn)，可以判斷真?zhèn)蔚臄⑹鼍浞Q為命題的反命題：否命題：q則是p，p則是q，q則是p，2，4 結(jié)論1 :寫一個命題另外三個命題的關(guān)鍵是明確命題的問題設(shè)定和結(jié)論(即，原命題寫成“p的話是q”的形式)，注意：結(jié)論2:(1)or”的否定是“并且”，(2)“并且”的否定是“或”，(3)“都”的否定是“不方便”。三、四種命題間的關(guān)系，原命題為p則為q，逆命題為q則為p，no命題為p則為q，逆no命題為q則為p，相互逆、相互no、相互no、相互no、相互逆、相互no、(2)，但是，其原

2、命題、逆no命題未必是真的(1)原命題是反否命題和真?zhèn)巍?(2)是否是原命題的反命題命題與真?zhèn)蜗嗤?(1)如果原命題為真，則其反否命題必定為真。 但是，其反命題、否命題不一定是真的。 四、命題真?zhèn)涡耘袛?、結(jié)論：反證法的一般步驟：假設(shè)命題的結(jié)論不成立，即假設(shè)結(jié)論的相反一側(cè)成立，從該假設(shè)經(jīng)過推論論證得到矛盾，(3)從矛盾判定假設(shè)不正確，肯定命題的結(jié)論正確。 反證法，1 .命題“c0的情況下，ab的情況下，寫acbc”的反命題，“否”命題和反“否”命題，分別判斷真?zhèn)危? .命題“xa且xb的情況下，寫x2(ab)xab0”的：p是q的充分條件，簡稱為充分條件。 顯然，如果p是q的滿足條件，則q也是

3、p的滿足條件，p和q相互是滿足條件，1、充分且必要條件2、充分的不必要條件3、必要的2 .從邏輯推論關(guān)系來看充分條件、必要條件：充分不必要條件、必要不充分條件、不充分不必要條件、充分且必要條件、3， 從集合和集合的關(guān)系來看充分條件、必要條件、不充分條件、不充分條件、不充分條件1 .判斷條件時，特別要注意它們是否能夠相互擠出。 不要用單向擠壓代替雙向擠壓。 注意：2.a揭示了b的充分條件和a和b的充分不必要條件的差異和聯(lián)系a揭示了b的必要條件和a和b的必要不充分條件的區(qū)別，要注意幾種方法的運用：定義法、集合法、反否命題法，1 :填寫“充分不必要、必要不充分、充分、不充分、不必要”。 1)sinAsinB是AB的條件。 2 )在ABC中，sinAsinB是ab的_條件。 不充分不必要、充要條件、注、定義法(圖形分析)、2、ab成立的不必要條件為() A. acbc B. a/cb/c C. a