常用邏輯用語知識點(diǎn)總結(jié)及同步練習(xí)(專業(yè)版)
【正文】 ) 含有存在量詞的命題，叫做特稱命題。p，則p是q的充分而不必要條件；q222。語句可分為疑問句、祈使句、感嘆句與陳述句。p，我們就說，q是p成立的必要條件．（即為使q成立，就必須條件p成立）3. (1)若p222。5. 復(fù)合命題的真假判斷：pq非pp或qp且q真真假真真真假假真假假真真真假假假真假假注意：“命題的否定”與“否命題”是兩個不同的概念：前者只否定結(jié)論，后者結(jié)論與條件共同否定。 )A B C 一般地，寫一個命題的否定，往往需要對正面敘述的詞語進(jìn)行否定。即在兩個命題中，如果第一個命題的條件（或題設(shè)）是第二個命題的結(jié)論，且第一個命題的結(jié)論是第二個命題的條件，那么這兩個命題叫做互逆命題；如果把其中一個命題叫做原命題，那么另一個叫做原命題的逆命題.4. 否命題與逆否命題即在兩個命題中，一個命題的條件和結(jié)論分別是另一個命題的條件的否定和結(jié)論的否定，這樣的兩個命題就叫做互否命題，若把其中一個命題叫做原命題，則另一個就叫做原命題的否命題.5. 原命題與逆否命題即在兩個命題中，一個命題的條件和結(jié)論分別是另一個命題的結(jié)論的否定和條件的否定，這樣的兩個命題就叫做互為逆否命題，若把其中一個命題叫做原命題，則另一個就叫做原命題的否命題.一般到，我們用p和q分別表示原命題的條件和結(jié)論，用┐p 和┐q分別表示p和q的否定，于是四種命題的形式就是：原命題：若p則q；逆命題：若q則p；否命題：若┐p則┐q；逆否命題：若┐q則┐p.7. 四種命題的相互關(guān)系一般的，四種命題的真假性，有且僅有以下四種情況：（四種命題的真假性之間的關(guān)系）原命題逆命題否命題逆否命題真真真真真假假真假真真假假假假假兩個命題互為逆否命題，它們有相同的真假性；兩個命題為互逆或互否命題，它們的真假性沒有關(guān)系.8. 反證法欲證“若p則q”為真命題，從否定其結(jié)論即“非q”出發(fā)，經(jīng)過正確的邏輯推理導(dǎo)出矛盾，從而“非q”為假，即原命題為真，這樣的證明方法稱為反證法其反證法的步驟：(1)假設(shè)命題的結(jié)論不成立，即假設(shè)結(jié)論的反面成立；(2)從這個假設(shè)出發(fā)，通過推理論證，得出矛盾；(3)由矛盾判定假設(shè)不正確，從而肯定命題的結(jié)論正確 充分條件與必要條件1. 充分條件的定義 如果p成立時，q必然成立，即p222。②對于一個句子，有時我們可能無法判斷其真假，但對這個句子卻是有真假的，如：“太陽系外存在外星人”，對于這個句子所描述的情形，目前確定其真假，但從事物的本質(zhì)而言，句子本身是可以判斷其真假的。q，則p是q的必要而不充分條件；p222。3. 同一全稱命題、特稱命題，由于自然語言的不同，可能有不同的表述方法：4. 全稱命題、特稱命題（含有全稱量詞的命題叫全稱命題，含有存在量詞的命題叫特稱命題）（1）關(guān)系：全稱命題的否定是特稱命題，特稱命題的否定是全稱命題。2. 存在量詞、特稱命題定義：短語“存在一個”“至少有一個”在邏輯中通常叫做存在量詞，并用符號“ ”表示。p，則p是q的充要條件；p222。2. 辨析：能夠分辨哪一個是命題及其真假。p，則稱p是q的充分必要條件，簡稱充要條件。（常見的全稱量詞還有“一切” “每一個” “任給” “所有的”等 。對于邏輯用語“或”的理解我們可以借助于集合中的并集的概念：在或中的“或”是指 “”與“”中至少有一個成立，可
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1