直言命題復(fù)言命題關(guān)系學(xué)習(xí)資料

1、關(guān)系命題全同真包含于真包含交叉全異全稱肯定命題（所有s是p）真真假假假全稱否定命題（所有s不是p）假假假假真特稱肯定命題(有的s是p)真真真真假特稱否定命題（有的s不是p）假假真真真直言命題相互關(guān)系直言命題變形推理 變形推理變形推理前變形推理后有效性換質(zhì)推理所有s是p所有s不是非p有效所有s不是p所有s是非p有效有些s是p有些s不是非p有效有些s不是p有些s是非p有效換位推理所有s事p有些p事s有效所有s不是p 所有不是有效有些是有些是有效有些不是有些不是有效周延性：量項(xiàng)是全稱則為主動(dòng)周延，量項(xiàng)是特稱則為主項(xiàng)不周延聯(lián)項(xiàng)是否定的則謂項(xiàng)周延，聯(lián)項(xiàng)是肯定的則謂項(xiàng)不周延對(duì)當(dāng)關(guān)系對(duì)當(dāng)關(guān)系命題特點(diǎn)矛盾關(guān)系

2、“所有都是”與“有些不是”必有一真一假“所有都不是”與“有些是”某個(gè)是與某個(gè)不是反對(duì)關(guān)系“所有都是”與“所有都不是”不能同真（必有一假）但可同假“所有都是”與“某個(gè)不是”“所有都不是”與“某個(gè)是”下反對(duì)關(guān)系“有些是”與“有些不是”不能同假（必有一真）可同真“某個(gè)不是”與“有些是”“某個(gè)是”與“有些不是”從屬關(guān)系全稱肯定（否定）命題單稱肯定（否定）命題特稱肯定（否定）命題全稱真則特稱真，特稱假則全稱假復(fù)言命題及其推理各種復(fù)言命題的真假關(guān)系與推理規(guī)則命題類型真假關(guān)系推理規(guī)則負(fù)命題聯(lián)言命題（且）一假即假，全真才真命題真推支命題真，所有支命題真推命題真非或非相容選言命題（或者，或者）一真即真，全假才假

3、肯定一部分不能否定另一部分；否定一部分，可以肯定另一部分非且非不相容選言命題（要么，要么）有且只有一真才為真肯定一個(gè)選言支，就否定其余的選言支；否定一個(gè)選言支意外的所有選言支，可以肯定未否定的選言支“且”或者“非且非”充分條件假言命題（如果，那么）只有前件真后件假才為假肯定前件就否定后件，否定后件就能否定前件否定前件不能否定后件肯定后件不能肯定前件且非必要條件假言命題（只有，才q）只有前件假后件真才為假否定前件就能否定后件肯定后件就能肯定前件肯定前件不能肯定后件否定后件不能否定前件非p且q充要條件假言命題（當(dāng)且僅當(dāng)p，才q）前件與后件同真假則為真；前件與后件不同真假則為假肯定前件就能肯定后件否定前件就能否定后件；肯定后件就能肯定前件否定后件就能否定前件“非p且q”或“p且非q”負(fù)命題（并非p）原命題為真則為假；原命題為假則為真肯定原命題就否定負(fù)命題否定原命題就肯定負(fù)命題p復(fù)言命題轉(zhuǎn)換關(guān)系“如果p，那么q”=“只有，才”“非或q” “只有p，才q”=“如果q，那么p”=“p或者非q”“除非p，否則q”=“若果非p，那么”=“只有p，才非q”假言命題連鎖推理充分條件假言連鎖推理必要條件假言連鎖推理如果p，那么q如果q，那么r如果p，那么r只有，才只有，才r只有p，才r二難推理簡單構(gòu)成式簡單破壞式復(fù)雜構(gòu)成式復(fù)雜破壞式如果，那么如果，那么如果，那么q如