直言命题相互关系---本文来源于网络，仅供参考，勿照抄，如有侵权请联系删除---关系命题全同真包含于真包含交叉全异全称肯定命题（所有S是P）真真假假假全称否定命题（所有S不是P）假假假假真特称肯定命题(有的S是P)真真真真假特称否定命题（有的S不是P）假假真真真直言命题变形推理变形推理变形推理前变形推理后有效性换质推理所有S是P所有S不是非P有效所有S不是P所有S是非P有效有些S是P有些S不是非P有效有些S不是P有些S是非P有效换位推理所有S事P有些P事S有效所有S不是P所有Ｐ不是Ｓ有效有些Ｓ是Ｐ有些Ｐ是Ｓ有效有些Ｓ不是Ｐ有些Ｐ不是Ｓ有效周延性：量项是全称则为主动周延，量项是特称则为主项不周延联项是否定的则谓项周延，联项是肯定的则谓项不周延对当关系对当关系命题特点矛盾关系“所有Ｓ都是Ｐ”与“有些Ｓ不是Ｐ”必有一真一假“所有Ｓ都不是Ｐ”与“有些Ｓ是Ｐ”＂某个Ｓ是Ｐ＂与＂某个Ｓ不是Ｐ＂反对关系“所有Ｓ都是Ｐ”与“所有Ｓ都不是Ｐ”不能同真（必有一假）但可同假“所有Ｓ都是Ｐ”与“某个Ｓ不是Ｐ”“所有Ｓ都不是Ｐ”与“某个Ｓ是Ｐ”---本文来源于网络，仅供参考，勿照抄，如有侵权请联系删除---下反对关系“有些Ｓ是Ｐ”与“有些Ｓ不是Ｐ”不能同假（必有一真）可同真“某个Ｓ不是Ｐ”与“有些Ｓ是Ｐ”“某个Ｓ是Ｐ”与“有些Ｓ不是Ｐ”从属关系全称肯定（否定）命题→单称肯定（否定）命题→特称肯定（否定）命题全称真则特称真，特称假则全称假复言命题及其推理各种复言命题的真假关系与推理规则命题类型真假关系推理规则负命题联言命题（Ｐ且Ｑ）一假即假，全真才真命题真推支命题真，所有支命题真推命题真非Ｐ或非Ｑ相容选言命题（或者Ｐ，或者Ｑ）一真即真，全假才假肯定一部分不能否定另一部分；否定一部分，可以肯定另一部分非Ｐ且非Ｑ不相容选言命题（要么Ｐ，要么Ｑ）有且只有一真才为真肯定一个选言支，就否定其余的选言支；否定一个选言支意外的所有选言支，可以肯定未否定的选言支“Ｐ且Ｑ”或者“非Ｐ且非Ｑ”充分条件假言命题（如果Ｐ，那么Ｑ）只有前件真后件假才为假肯定前件就否定后件，否定后件就能否定前件否定前件不能否定后件肯定后件不能肯定前件Ｐ且非Ｑ必要条件假言命题（只有Ｐ，才Q）只有前件假后件真才为假否定前件就能否定后件肯定后件就能肯定前件肯定前件不能肯定后件否定后件不能否定前件非P且Q充要条件假言命题（当且仅当P，才Q）前件与后件同真假则为真；前件与后件不同真假则为假肯定前件就能肯定后件否定前件就能否定后件；肯定后件就能肯定前件否定后件就能否定前件“非P且Q”或“P且非Q”---本文来源于网络，仅供参考，勿照抄，如有侵权请联系删除---负命题（并非P）原命题为真则为假；原命题为假则为真肯定原命题就否定负命题否定原命题就肯定负命题P复言命题转换关系“如果P，那么Q”=“只有Ｑ，才Ｐ”＝“非Ｐ或Q”“只有P，才Q”=“如果Q，那么P”=“P或者非Q”“除非P，否则Q”=“若果非P，那么Ｑ”=“只有P，才非Q”假言命题连锁推理充分条件假言连锁推理必要条件假言连锁推理如果P，那么Q如果Q，那么R→如果P，那么R只有Ｐ，才Ｑ只有Ｑ，才R→只有P，才R二难推理简单构成式简单破坏式复杂构成式复杂破坏式如果Ｐ，那么Ｑ如果Ｒ，那么Ｑ如果Ｐ，那么Q如果Q，那么R如果Ｐ，那么Ｑ如果Ｒ，那么Ｓ如果Ｐ，那么Q如果R，那么SＰ或者Ｒ非Q或者非RP或者R非Ｑ或者非ＳＱ非ＰQ或者S非P或者非R---本文来源于网络，仅供参考，勿照抄，如有侵权请联系删除---