史上最全逻辑公式汇总

直言命题全称肯定命题 所有的S是P SAP A命题全称否定命题 所有的S不是P SEP E命题特称肯定命题 有的S是P SIP I命题特称否定命题 有的S不是P

直言命题 SPSAPA 全称肯定命题所有的是命题 SPSEPE 全称否定命题所有的不是命题 SPSIPI 特称肯定命题有的是命题 SPSOPO 特称否定命题有的不是命题 六种命题就成为四种类型。 全称肯定命题 反映了主项的所有外延全都具有某种性质，表示形式 SPSAPA 为：所有是，缩写为，简称命题。 全称否定命题 反映了主项的所有外延全都不具有某种性质，表示形式 SPSEPE 为：所有不是，缩写为，简称命题。 特称肯定命题 反映了主项的一部分外延都具有某种性质，表示形式 SPSIPI 为：有的是，缩写为，简称命题。 特称否定命题 反映了主项的一部分外延全都不具有某种性质，表示形 SPSOPO 式为：有的不是，缩写为，简称命题。 直言命题的对当关系 AEIO 主项、谓项相同的、、、四种命题之间存在着一定的真假制约 关系。在逻辑学上，这种真假制约关系称为对当关 AEIO 系。、、、四种命题有以下的对当关系。 命题类型命题间的真假关系 A 命题真真假假假 E 命题假假假假真