直言命题复言命题关系知识讲解文档格式.docx

直言命题复言命题关系知识讲解文档格式.docx

《直言命题复言命题关系知识讲解文档格式.docx》由会员分享，可在线阅读，更多相关《直言命题复言命题关系知识讲解文档格式.docx（5页珍藏版）》请在冰豆网上搜索。

（所有S是

P）

全称否定命题

（所有S不是

特称冃疋命题

（有的S是P）

特称否定命题

（有的s不是

直

/、

假

直/、

直言命题变形推理

变形推理

变形推理前

变形推理后

有效性

换质推理

所有S是P

所有S不是非P

有效

所有S不是P

所有S是非P

有些S是P

有些S不是非P

有些S不是P

有些S是非P

换位推理

所有S事P

有些P事S

所有P不是S

有些P是S

有些P不是S

周延性：

量项是全称则为主动周延，量项是特称则为主项不周延

联项是否定的则谓项周延，联项是肯定的则谓项不周延

对当关系

“所有S都是P”与“有些S不是P”

必有_真_假

矛盾关系“所有S都不是P”与“有些S是P”

”某个S是P”与”某个S不是P”

反对关系

下反对关系

“所有S都是P”与“所有S都不是P”

“所有S都是严与“某个S不是严“所有S都不是P”与“某个S是P”

“有些S是P”与“有些S不是P”“某个S不是P”与“有些S是P”“某个S是P”与“有些S不是P”

从属关系全称肯定（否定）命题一单称肯定（否定）命题f特称冃疋（否疋）命题

复言命题及其推理

不能同真（必有一

假）但可同假

不能同假（必有

）可同直

全称真则特称真,特称假则全称假

命题类型

真假关系

推理规则

负命题

联言命题

（P且0）

一假即假，全真才真

命题真推支命题真，所有支命题真推命题真

非p或非Q

相容选言命题

（或者

一真即真，全假才假

肯定一部分不能否定另一部分；

否定一部分，可以

非P且非Q

各种复言命题的真假关系与推理规则

P,或者Q）

肯定另一部分

不相容选言命题（要么P,要么

Q）

有且只有一真才为真

肯定一个选言支，就否定其余的选言支；

否定一个选言支意外的所有选言支，可以肯定未否定的选言支

“P且Q”或者“非P且非Q”

充分条件假言命题（如果

P,那么

只有刖件真后件假才为假

冃疋前件就否疋后件，否定后件就能否定前件否定前件不能否定后件肯定后件不能肯定前件

P且非Q

必要条件假言命题（只有

P,才

只有刖件假后件真才为假

否定前件就能否定后件冃疋后件就能冃疋前件肯定前件不能肯定后件否定后件不能否定前件

非P且Q

充要条件假言命题（当且仅当P,才Q）

前件与后件同真假则为真；

前件与后件不同真假则为假

冃疋前件就冃匕冃疋后件否定前件就能否定后件；

冃疋后件就匕匕冃疋前件否定后件就能否定前件

“非P且Q或uP且非

Q

负命题（并非P）

原命题为真则为假；

原命

题为假则为真

肯疋原命题就否疋负命题否疋原命题就肯疋负命题

P

复言命题转换关系

“如果P,那么Q”“只有Q,才P”=“非P或”

“只有P,才Q”“如果Q,那么P”P或者非Q”

“除卸，否则y“若果日中，那么『二“只有p,才非y

假言命题连锁推理

充分条件假言连锁推理

必要条件假言连锁推理

如果P,那么Q

只有P,才Q

如果Q,那么R

只有Q,才R

-如果P,那么R

-只有P,才R

二难推理

简单构成式

简单破坏式

复杂构成式

复杂破坏式

如果P,那么

如果R,那么

O

如果Q,那么

R

S

如果R,那么S

P或者R

非Q或者非R

非Q或者非S

非P

Q或者S

非p或者非R