3.8逻辑等值和直接推论081 H,不具有标准形式但有逻辑等值 A.换位081 的标准形式供选的命题124 B.换质083 1.除外命题125 C.换质位085 J.另外的复杂量词125 5.4统一翻译127 第4章直言三段论093 5.5省略三段论129 4.1标准形式直言三段论094 A.大项、小项和中项094 第6章符号逻辑135 B.式095 6.1现代逻辑的符号语言136 C.格095 6.2符号语101：命题逻辑的语言136 4.2三段论论证的性质097 A.否定138 4.3用于检验三段论的文恩图方法099 B.合取138 4.4三段论规则和三段论谬误105 C.析取139 规则1：避免四词项105 D.实质蕴涵（实质条件句）139 规则2：中项必须至少在一个前提 E.双条件句（实质等值）140 中周延106 F.分组记号140 规则3：在结论中周延的词项必须 6.3作为复合命题分析工具的 在相关的前提中周延107 真值表146 规则4：避免两个否定前提108 6.4重言的、矛盾的和偶真的陈述 规则5：如果有一个前提是否定的， 形式151 那么结论必须是否定的108 6.5检验论证有效性之真值表156 规则6：从两个全称前提得不出特 A.若千常见的有效论证形式159 称结论109 B.常见的无效论证形式161 C.较复杂的论证162 第5章日常语言中的论证115 6.6不完全真值表和逆向真值表165 5.1日常语言中的三段论论证116 A.不完全真值表165 5.2三段论论证中词项数量的归约116 B.逆向真值表167 5.3直言命题的标准化119 6.7论证、条件句和重言式170 A.单称命题119 B.谓项是形容词或形容词短语的 第7章演绎方法173 直言命题120 7.1与真值表相对的自然推演 174 C.动词不是标准形式联项“是” 7.2有效性的形式证明174 的直言命题121 7.3替换规则（1)182 D.语词不按标准顺序排列的直言 7.4替换规则(2)188 命题122 拇指规则：进行演绎证明的策略193 E.量词不标准的直言命题122 7.5条件证明198 F.区别命题123 7.6间接证明202 G.不带量词的命题124 004