直言命题复言命题关系

1、直言命题相互关系全同I真包含于真包含交叉全异命题全称肯定命题（所有S是P）真真假假假全称否定命题（所有S不是P）假假假假真特称肯定命题（有的S是P）真真真真假特称否定命题（有的S不是P）假假真真真6 / 6直言命题变形推理变形推理变形推理前变形推理后有效性换质推理所有S是P所有S不是非P有效所有S不是P所有S是非P有效有些S是P有些S不是非P有效有些S不是P有些S是非P有效换位推理所有S事P有些P事S有效所有S不是P所有P不是s有效有些S是P有些P是S有效有些S不是P有些P不是S有效周延性：量项是全称则为主动周延，量项是特称则为主项不周延联项是否定的则谓项周延，联项是肯定的则谓项不周延对当关系

2、对当关系命题特点矛“所有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”及“有些S不是P”不能同假（必有反“某个S不是P”及“有些S是P"一真）可同真对“某个S是P”及“有些S不是P”关系从属关 系全称肯定（否定）命题f单称肯定（否定）命题f特称肯定（否定）命题全称真则特称 真，特称假则全 称假复言命题及其推理各种复言命题的真假

3、关系及推理规则命题类型真假关系推理规则负命题联言命题（P 且 Q）一假即假，全真才真命题真推支命题真，所有支命题真推命题真非P或非Q相容选言命 题（或者P , 或者Q ）一真即真，全假才假肯定一部分不能否定另一部分；否定一部分，可以肯定另一部分非P且非Q不相容选言命题（要么有且只有一真才为真肯定一个选言支，就否定其余的选言支；否定“ P 且 Q ”或者“非PP,要么Q）一个选言支意外的所有 选言支，可以肯定未否 定的选言支且非Q ”充分条件假 言命题（如 果P,那么 Q）只有前件真后件假才为假肯定前件就否定后件，否定后件就能否定前件 否定前件不能否定后件 肯定后件不能肯定前件P且非Q必要条件假

4、 言命题（只 有P,才Q）只有前件假后件真才为假否定前件就能否定后件 肯定后件就能肯定前件 肯定前件不能肯定后件 否定后件不能否定前件非P且Q充要条件假 言命题（当 且仅当P, 才Q）前件及后件同真假则 为真；前件及后件不同 真假则为假肯定前件就能肯定后件否定前件就能否定后件；肯定后件就能肯定前件否定后件就能否定前件“非P且Q”或“P且非Q”负命题（并非P）原命题为真则为假；原命题为假则为真肯定原命题就否定负命题否定原命题就肯定负命题P复言命题转换关系“如果P,那么Q”二“只有Q,才P” = "非P或Q”“只有P，才Q”二“如果Q,那么P”二"P或者非Q”“除非P,否则Q”二“若果非P,那么Q”二“只有P,才非Q”假言命题连锁推理充分条件假言连锁推理必要条件假言连锁推理如果P,那么Q只有P,才Q如果Q,那么R只有Q,才R一如果P,那么Rf只有P，才R二难推理简单构成式简单破坏式复杂构成式复杂破坏式如果P,那么Q如果P,那么Q如果P,那