逻辑学题目及答案!
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
普遍词项：外延≥2 空词项：外延为0.（现实中没有与之对应的事物） （2）从反映事物的集合体还是类的角度来分：
集合词项： 非集合词项 如何区别？在原句前加上“所有”或“每一”，如果句子的意思发生了改变，则此词项为集合词 项；如果没有改变则为非集合词项。 （3）从词项是否具有某种属性来分： 正词项（肯定词项、正概念） 负词项（否定词项） 注意： 不是所有带否定词的就是负词项； 正负词项有相对的论域。 单独词项没有负词项。
四、关于选言命题 1、含义：断定若干事物情况中至少有一种情况存在的命题。
2、种类
相容选言命题：至少有一种情况存在，可以同时存在 不相容选言命题：只有一种情况存在，不能同时存在
3、逻辑形式
相容选言命题：p∨q
不相容选言命题：p q
4、相容选言命题推理的规则 （1）否定一个选言肢就要肯定另一个选言肢； （2）肯定一个选言肢不能否定另一个选言肢； 有效推理式：（（p∨q）∧乛p)→q
二、词项外延间的关系（有无重合及重合多少）
相容关系
全同关系 S P
S
真包含关系（属种关系） P
真包含于关系（种属关系） P S 交叉关系 S P
从属关系
不相容关系
矛盾关系 S P
反对关系 SP
三、明确词项的逻辑方法
1、限制与概括 （1）限制：增加内涵以缩小外延 （2）概括：减少内涵以扩大外延。 （3）规则： a、基于反变关系，所以，限制前与限制后的词项间必须具有属种关系；而概括前与
④不能用比喻或含混的语词来下定义，否则犯比预定义或定义含混的错误。
3、划分 （1）含义：把一个属词项按一定的标准，分出若干种词项的逻辑方法。 （2）逻辑构成：划分母项、划分子项、划分标准 （3）种类 a、从划分层次来看：一次性划分和连续划分 b、从子项数量来看：二分法和多分法 二分法划出的子项间具有矛盾关系，但不一定表现为正、负词项的形式。
（p→q）∧（q→r） → （p→r） 否定式：否定后一个前提的后件，那么就要否定前一个前提的前件。
（p→q）∧（q→r） → （乛r→定前一个前提的前件，那么就要否定后一个前提的后件。
（p←q） ∧（q ← r） → （乛p→乛r） 肯定式：肯定后一个前提的后件，那么就要肯定前一个前提的前件。
二、逻辑学的三大源头：古代中国、古代印度、古希腊 三、欧洲逻辑学的历史演进
传统逻辑学：亚里士多德（逻辑之父） 现代逻辑学：数理逻辑（莱布尼茨是先驱）
四、普通逻辑的研究对象 1、思维形式（概念、判断、推理） 2、推理的有效性和可靠性 3、论辩的基本规律（同一律、矛盾律、排中律、充足理由律） 4、简单的逻辑方法（限制与概括、划分等） 五、逻辑形式结构
概括后的词项间必须具有种属关系。否则，所犯错误称为限制不当或概括不当。
b、限制的极限为单独词项；概括的极限为哲学范畴。 2、定义： （1）含义：用简练的语言提示词项内涵的逻辑方法。 （2）逻辑结构：被定义项Ds 、定义项Dp、定义联项
Ds就是Dp （3）实质定义的方法：属+种差 的方法
公式：被定义项=种差+邻近属概念 步骤：a、找出被定义项的邻近属概念
逻辑常项（量项、联项）
逻辑变项（（概念、命题）
六、课后思考练习题（已讲）
第二章 命题逻辑
一、关于命题 1、含义：对思维对象有所断定（肯定、否定）的思维形态。 2、逻辑特征：断定性、真假性 3、种类 简单命题（性质命题、关系命题）
复合命题（联言命题、选言命题、假言命题、负命题）
二、关于推理 1、含义：从一个或若干个已知命题推出一个新的命题的思
（4）复杂破坏式：两个前提的前件和后件都不相同，选言命题否定不同的后件，结 论否定不同的前件的形式。
（（p → q） ∧ （r→ s）） ∧（乛q∨乛s）） →（乛p ∨乛r）
破斥： 检查推理形式是否有效； 检查前提是否真实； 以二难破二难。
2、假言联言推理 含义：由两个假言命题和一个联言命题作前提而进行的推理。 有效式：
ｂ、找出种差
c、将种差与邻近属概念结合构成定义项 d、用联结词将被定义项与定义项连接起来。 （4）下定义的规则： ①定义项的外延必须与被定义项的外延相等，否则犯定义过宽或定义过窄的错误。
②定义项不能直接或间接包含被定义项，否则，犯同语反复或循环定义的错误。
③对正词项不能用否定形式或负词项。否则犯用否定来定义的错误。
4、划分的规则： （1）划分必须相应相称，否则犯划分过窄或划分过宽（多出子项）的错误。 （2）每次划分的根据必须同一，否则犯混淆根据或多标准划分的错误。 （3）划分后的子项必须是不相容的，否则犯子项相容的错误。
教材练习题P97-100
一、填空题（未讲） 二、选择题（3、4、5未讲） 三、图解题（2、4未讲） 四、分析是从内涵还是外延方面来明确词项的。
古代中国古代印度古希腊三欧洲逻辑学的历史演进四普通逻辑的研究对象1思维形式概念判断推理2推理的有效性和可靠性3论辩的基本规律同一律矛盾律排中律充足理由律4简单的逻辑方法限制与概括划分等五逻辑形式结构六课后思考练习题已讲传统逻辑学
总复习
第一章 概述
一、逻辑学的含义：事物规律、某种特殊观点或方法、思维和语 言规律、一门学科。
充要条件假言换质换位推理：（pq） → （乛q乛p）
七、假言连锁推理 1、含义：由两个或两个以上具有内在联系的假言命题为前提，推出一个
新的假言命题作结论的推理（联系：前一个前提的后件是后一个前提的 前件）。 2、种类： （1）充分条件假言连锁推理 肯定式：肯定前一个前提的前件，那么就要肯定后一个前提的后件。
肯定式：联言命题肯定两个假言命题的前件，则结论肯定两个假言命题的后件。 （（ p → q） ∧ （r→ s）） ∧（p ∧ r）） →（ q ∧ s）
否定式：联言命题否定两个假言命题的后件，则结论否定两个假言命题的前件。 （（ p → q） ∧ （r→ s）） ∧（乛q∧乛s）） →（乛p∧乛r）
3、反三段论： 含义：以一个表述三段论的充分条件假言命题为前提，推出将该三段论的前提之
（2）肯定后件式：（（p q）∧q) →p （3）否定前件式：（（p q）∧乛p) →乛q （4）否定后件式：（（p q）∧乛q) →乛p
假言换位推理
充分条件假言换位推理：（p→q） → （q←p） 必要条件假言换位推理：（p←q） → （q →p） 充要条件假言换位推理：（pq） → （qp）
第三章 词项逻辑（上）
一、关于词项 1、定义：表达确定的概念并充当简单命题的构成成分的语词。 2、词项的逻辑特征： （1）内涵：指概念所反映的事物的本质属性或特有属性。 （2）外延：指概念所反映的对象的范围。
内涵与外延之间具有反变关系。 3、词项的种类 （1）从外延角度来分：单独词项：外延只有一个=1
维形式。分为必然性推理和或然性推理。 2、必然性推理的种类
简单命题推理（性质命题推理、关系命题推理） 复合命题推理（联言命题推理、选言命题推理、假言命题推理、负命题推理）
三、关于联言命题 1、含义：断定若干事物情况同时存在的命题。 2、逻辑形式：p∧q 3、p真，q真，p∧q才真 4、推理的有效形式： 分解式：（p∧q）→p或：（p∧q）→q 组合式：（ p，q）→p ∧q
一和结论加以否定而形成的新假言命题为结论的推理。
有效式： （（ p ∧ q） →r） →（（ p ∧乛r） →乛q） 或者（（ p ∧ q） →r） →（（ q ∧乛r） →乛p）
教材练习P 67-72
一、写出复合命题的逻辑形式（已讲） 二、分析为何种选言命题（已讲） 三、不作要求 四、写出推理形式，并分析是否有效。（未讲） 五、不作要求 六、不作要求 七、综合题答案： 1、C 2、C 3、C 4、B 5、D 6、B 7、A 8、B 9、A 10、C 11、D 12、D 13、B 14、D 15、A 16、B
（2）简单破坏式：两个假言命题的前件相同但后件不同，选言命题否定它们不同的 的后件件，结论否定共同的前件的形式。
（（p → q） ∧ （p→ r）） ∧（q ∨ r））→乛p
（3）复杂构成式：两个前提的前件和后件都不相同，选言命题肯定不同的前件，结 论肯定不同的后件的形式。
（（p → q） ∧ （r→ s）） ∧（p ∨ r）） →（ q ∨ s）
（已将） 五、判断限制与概括是否正确（已讲） 六、下列定义是否合乎规则（已讲） 七、下列划分是否正确（已做，未讲） 八、运用词项知识，分析下列各题中的逻辑错误。
（已做，未讲）
第四章 词项逻辑（下）
一、关于直言命题 1、含义：断定对象具不具有某种属性的命题，又叫性质命题。 2、结构：主项、谓项、联项、量项 结构形式：量项+主项+联项+谓项 3、四种基本类型及其逻辑形式： 全称肯定命题：SAP 全称否定命题：SEP 特称肯定命题：SIP 特称否定命题：SOP 二、主谓项的周延性 全称命题的主项都周延； 否定命题的谓项都周延。 据此推出：主谓项都周延的命题是SEP，主谓项都不周延的
（1）负直言命题
乛SAP SOP 乛SEP SIP 乛SIP SEP 乛SOP SAP
负联言命题：p∧q p ∨q
（2）负复合命题
负选言命题 负假言命题
p∨q p ∧q p q （p∧q) ∨(p ∧q） 负充分条件假言命题： （p→q）p ∧q
负必要条件假言命题： （p←q）p ∧ q
负充要条件假言命题： （pq）(p ∧q) ∨(p ∧q)
（p←q） ∧（q ← r） → （r→p） （3）混合条件假言连锁推理 A、含义：以几种不同条件的假言命题为前提而进行的推理。 B、种类 充要条件+充分条件的连锁推理：（pq）∧（q→r） → （p→r）
充要条件+必要条件的连锁推理：（ pq）∧ （q ← r）→ （乛p→乛r）
八、负命题
1、含义：通过否定某个命题而得到的命题。 2、逻辑形式：乛p或者p 3、逻辑值：p与乛p是矛盾关系，所以一真一假。不同真也不同假。 4、负命题的类型及其等值命题：
（2）否定后件式：（（p→q）∧乛q) →乛p
B、必要条件假言直言推理的规则： 否定前件就要否定后件，肯定后件就要肯定前件。 肯定前件不能肯定后件，否定后件不能否定前件。 有效推理式（1）否定前件式：（（p ← q）∧乛p) →乛q
（2）肯定后件式：（（p ← q）∧q) →p C、充要条件假言直言推理的规则： 肯定前件就要肯定后件，肯定后件就要肯定前件。 否定前件就要否定后件，否定后件就要否定前件。 推理有效式：（1）肯定前件式：（（p q）∧p) →q
或者（（p∨q）∧乛q)→p
5、不相容选言命题推理的规则 （1）否定一个选言肢就要肯定另一个选言肢； （2）肯定一个选言肢就要否定另一个选言肢；
否定肯定式：（（p q）∧乛p)→q 或者 （（p q）∧乛q)→p 有效推理式
肯定否定式：（（p q）∧p)→乛q或者 （（p q）∧q)→乛p
五、关于假言命题 1、含义：反映一事物情况是另一事物情况存在的条件的命题。 2、种类及逻辑形式 （1）充分条件假言命题：p→q （2）必要条件假言命题: p←q （3）充要条件假言命题: pq 3、真值情况： （1）在充分条件假言命题中，只有当p 真而q 假时，p→q才为假； （2）在必要条件假言命题中，只有当p假而q 真时， p←q才为假； （3）在充要条件假言命题中，当p、q不同时为真或不同时为假时，pq才为假。 4、假言直言推理（假言三段论） 1、含义：前提为一个假言命题与一个直言命题而推出结论为直言命题的推理。 2、种类： A、充分条件假言直言推理的规则： 肯定前件就要肯定后件，否定后件就要否定前件。 否定前件不能否定后件，肯定后件不能肯定前件。 有效推理式（1）肯定前件式：（（p→q）∧p) →q
六、假言变形推理
充分条件假言换质推理：（p→q） → （乛p←乛q）
假言换质推理 必要条件假言换质推理：（p←q） → （乛p→乛q）
充要条件假言换质推理：（pq） → （乛p乛q）
充分条件假言换质换位推理：（p→q） → （乛q →乛p）
假言换位换质推理 必要条件假言换质换位推理：（p←q） → （乛q ←乛p）
负命题的负命题：乛p p
九、复合命题的其他推理 1、二难推理 含义：由两个充分条件假言命题、一个二肢选言命题为前提而进行的推理。 种类：简单构成式、简单破坏式、复杂构成式、复杂破坏式 （1）简单构成式：两个假言命题的前件不同但后件相同，选言命题肯定两个不同的
前件，结论肯定共同的后件的形式。 （（p→ r） ∧ （q→ r）） ∧（ p ∨ q））→ r
集合词项： 非集合词项 如何区别？在原句前加上“所有”或“每一”，如果句子的意思发生了改变，则此词项为集合词 项；如果没有改变则为非集合词项。 （3）从词项是否具有某种属性来分： 正词项（肯定词项、正概念） 负词项（否定词项） 注意： 不是所有带否定词的就是负词项； 正负词项有相对的论域。 单独词项没有负词项。
四、关于选言命题 1、含义：断定若干事物情况中至少有一种情况存在的命题。
2、种类
相容选言命题：至少有一种情况存在，可以同时存在 不相容选言命题：只有一种情况存在，不能同时存在
3、逻辑形式
相容选言命题：p∨q
不相容选言命题：p q
4、相容选言命题推理的规则 （1）否定一个选言肢就要肯定另一个选言肢； （2）肯定一个选言肢不能否定另一个选言肢； 有效推理式：（（p∨q）∧乛p)→q
二、词项外延间的关系（有无重合及重合多少）
相容关系
全同关系 S P
S
真包含关系（属种关系） P
真包含于关系（种属关系） P S 交叉关系 S P
从属关系
不相容关系
矛盾关系 S P
反对关系 SP
三、明确词项的逻辑方法
1、限制与概括 （1）限制：增加内涵以缩小外延 （2）概括：减少内涵以扩大外延。 （3）规则： a、基于反变关系，所以，限制前与限制后的词项间必须具有属种关系；而概括前与
④不能用比喻或含混的语词来下定义，否则犯比预定义或定义含混的错误。
3、划分 （1）含义：把一个属词项按一定的标准，分出若干种词项的逻辑方法。 （2）逻辑构成：划分母项、划分子项、划分标准 （3）种类 a、从划分层次来看：一次性划分和连续划分 b、从子项数量来看：二分法和多分法 二分法划出的子项间具有矛盾关系，但不一定表现为正、负词项的形式。
（p→q）∧（q→r） → （p→r） 否定式：否定后一个前提的后件，那么就要否定前一个前提的前件。
（p→q）∧（q→r） → （乛r→定前一个前提的前件，那么就要否定后一个前提的后件。
（p←q） ∧（q ← r） → （乛p→乛r） 肯定式：肯定后一个前提的后件，那么就要肯定前一个前提的前件。
二、逻辑学的三大源头：古代中国、古代印度、古希腊 三、欧洲逻辑学的历史演进
传统逻辑学：亚里士多德（逻辑之父） 现代逻辑学：数理逻辑（莱布尼茨是先驱）
四、普通逻辑的研究对象 1、思维形式（概念、判断、推理） 2、推理的有效性和可靠性 3、论辩的基本规律（同一律、矛盾律、排中律、充足理由律） 4、简单的逻辑方法（限制与概括、划分等） 五、逻辑形式结构
概括后的词项间必须具有种属关系。否则，所犯错误称为限制不当或概括不当。
b、限制的极限为单独词项；概括的极限为哲学范畴。 2、定义： （1）含义：用简练的语言提示词项内涵的逻辑方法。 （2）逻辑结构：被定义项Ds 、定义项Dp、定义联项
Ds就是Dp （3）实质定义的方法：属+种差 的方法
公式：被定义项=种差+邻近属概念 步骤：a、找出被定义项的邻近属概念
逻辑常项（量项、联项）
逻辑变项（（概念、命题）
六、课后思考练习题（已讲）
第二章 命题逻辑
一、关于命题 1、含义：对思维对象有所断定（肯定、否定）的思维形态。 2、逻辑特征：断定性、真假性 3、种类 简单命题（性质命题、关系命题）
复合命题（联言命题、选言命题、假言命题、负命题）
二、关于推理 1、含义：从一个或若干个已知命题推出一个新的命题的思
（4）复杂破坏式：两个前提的前件和后件都不相同，选言命题否定不同的后件，结 论否定不同的前件的形式。
（（p → q） ∧ （r→ s）） ∧（乛q∨乛s）） →（乛p ∨乛r）
破斥： 检查推理形式是否有效； 检查前提是否真实； 以二难破二难。
2、假言联言推理 含义：由两个假言命题和一个联言命题作前提而进行的推理。 有效式：
ｂ、找出种差
c、将种差与邻近属概念结合构成定义项 d、用联结词将被定义项与定义项连接起来。 （4）下定义的规则： ①定义项的外延必须与被定义项的外延相等，否则犯定义过宽或定义过窄的错误。
②定义项不能直接或间接包含被定义项，否则，犯同语反复或循环定义的错误。
③对正词项不能用否定形式或负词项。否则犯用否定来定义的错误。
4、划分的规则： （1）划分必须相应相称，否则犯划分过窄或划分过宽（多出子项）的错误。 （2）每次划分的根据必须同一，否则犯混淆根据或多标准划分的错误。 （3）划分后的子项必须是不相容的，否则犯子项相容的错误。
教材练习题P97-100
一、填空题（未讲） 二、选择题（3、4、5未讲） 三、图解题（2、4未讲） 四、分析是从内涵还是外延方面来明确词项的。
古代中国古代印度古希腊三欧洲逻辑学的历史演进四普通逻辑的研究对象1思维形式概念判断推理2推理的有效性和可靠性3论辩的基本规律同一律矛盾律排中律充足理由律4简单的逻辑方法限制与概括划分等五逻辑形式结构六课后思考练习题已讲传统逻辑学
总复习
第一章 概述
一、逻辑学的含义：事物规律、某种特殊观点或方法、思维和语 言规律、一门学科。
充要条件假言换质换位推理：（pq） → （乛q乛p）
七、假言连锁推理 1、含义：由两个或两个以上具有内在联系的假言命题为前提，推出一个
新的假言命题作结论的推理（联系：前一个前提的后件是后一个前提的 前件）。 2、种类： （1）充分条件假言连锁推理 肯定式：肯定前一个前提的前件，那么就要肯定后一个前提的后件。
肯定式：联言命题肯定两个假言命题的前件，则结论肯定两个假言命题的后件。 （（ p → q） ∧ （r→ s）） ∧（p ∧ r）） →（ q ∧ s）
否定式：联言命题否定两个假言命题的后件，则结论否定两个假言命题的前件。 （（ p → q） ∧ （r→ s）） ∧（乛q∧乛s）） →（乛p∧乛r）
3、反三段论： 含义：以一个表述三段论的充分条件假言命题为前提，推出将该三段论的前提之
（2）肯定后件式：（（p q）∧q) →p （3）否定前件式：（（p q）∧乛p) →乛q （4）否定后件式：（（p q）∧乛q) →乛p
假言换位推理
充分条件假言换位推理：（p→q） → （q←p） 必要条件假言换位推理：（p←q） → （q →p） 充要条件假言换位推理：（pq） → （qp）
第三章 词项逻辑（上）
一、关于词项 1、定义：表达确定的概念并充当简单命题的构成成分的语词。 2、词项的逻辑特征： （1）内涵：指概念所反映的事物的本质属性或特有属性。 （2）外延：指概念所反映的对象的范围。
内涵与外延之间具有反变关系。 3、词项的种类 （1）从外延角度来分：单独词项：外延只有一个=1
维形式。分为必然性推理和或然性推理。 2、必然性推理的种类
简单命题推理（性质命题推理、关系命题推理） 复合命题推理（联言命题推理、选言命题推理、假言命题推理、负命题推理）
三、关于联言命题 1、含义：断定若干事物情况同时存在的命题。 2、逻辑形式：p∧q 3、p真，q真，p∧q才真 4、推理的有效形式： 分解式：（p∧q）→p或：（p∧q）→q 组合式：（ p，q）→p ∧q
一和结论加以否定而形成的新假言命题为结论的推理。
有效式： （（ p ∧ q） →r） →（（ p ∧乛r） →乛q） 或者（（ p ∧ q） →r） →（（ q ∧乛r） →乛p）
教材练习P 67-72
一、写出复合命题的逻辑形式（已讲） 二、分析为何种选言命题（已讲） 三、不作要求 四、写出推理形式，并分析是否有效。（未讲） 五、不作要求 六、不作要求 七、综合题答案： 1、C 2、C 3、C 4、B 5、D 6、B 7、A 8、B 9、A 10、C 11、D 12、D 13、B 14、D 15、A 16、B
（2）简单破坏式：两个假言命题的前件相同但后件不同，选言命题否定它们不同的 的后件件，结论否定共同的前件的形式。
（（p → q） ∧ （p→ r）） ∧（q ∨ r））→乛p
（3）复杂构成式：两个前提的前件和后件都不相同，选言命题肯定不同的前件，结 论肯定不同的后件的形式。
（（p → q） ∧ （r→ s）） ∧（p ∨ r）） →（ q ∨ s）
（已将） 五、判断限制与概括是否正确（已讲） 六、下列定义是否合乎规则（已讲） 七、下列划分是否正确（已做，未讲） 八、运用词项知识，分析下列各题中的逻辑错误。
（已做，未讲）
第四章 词项逻辑（下）
一、关于直言命题 1、含义：断定对象具不具有某种属性的命题，又叫性质命题。 2、结构：主项、谓项、联项、量项 结构形式：量项+主项+联项+谓项 3、四种基本类型及其逻辑形式： 全称肯定命题：SAP 全称否定命题：SEP 特称肯定命题：SIP 特称否定命题：SOP 二、主谓项的周延性 全称命题的主项都周延； 否定命题的谓项都周延。 据此推出：主谓项都周延的命题是SEP，主谓项都不周延的
（1）负直言命题
乛SAP SOP 乛SEP SIP 乛SIP SEP 乛SOP SAP
负联言命题：p∧q p ∨q
（2）负复合命题
负选言命题 负假言命题
p∨q p ∧q p q （p∧q) ∨(p ∧q） 负充分条件假言命题： （p→q）p ∧q
负必要条件假言命题： （p←q）p ∧ q
负充要条件假言命题： （pq）(p ∧q) ∨(p ∧q)
（p←q） ∧（q ← r） → （r→p） （3）混合条件假言连锁推理 A、含义：以几种不同条件的假言命题为前提而进行的推理。 B、种类 充要条件+充分条件的连锁推理：（pq）∧（q→r） → （p→r）
充要条件+必要条件的连锁推理：（ pq）∧ （q ← r）→ （乛p→乛r）
八、负命题
1、含义：通过否定某个命题而得到的命题。 2、逻辑形式：乛p或者p 3、逻辑值：p与乛p是矛盾关系，所以一真一假。不同真也不同假。 4、负命题的类型及其等值命题：
（2）否定后件式：（（p→q）∧乛q) →乛p
B、必要条件假言直言推理的规则： 否定前件就要否定后件，肯定后件就要肯定前件。 肯定前件不能肯定后件，否定后件不能否定前件。 有效推理式（1）否定前件式：（（p ← q）∧乛p) →乛q
（2）肯定后件式：（（p ← q）∧q) →p C、充要条件假言直言推理的规则： 肯定前件就要肯定后件，肯定后件就要肯定前件。 否定前件就要否定后件，否定后件就要否定前件。 推理有效式：（1）肯定前件式：（（p q）∧p) →q
或者（（p∨q）∧乛q)→p
5、不相容选言命题推理的规则 （1）否定一个选言肢就要肯定另一个选言肢； （2）肯定一个选言肢就要否定另一个选言肢；
否定肯定式：（（p q）∧乛p)→q 或者 （（p q）∧乛q)→p 有效推理式
肯定否定式：（（p q）∧p)→乛q或者 （（p q）∧q)→乛p
五、关于假言命题 1、含义：反映一事物情况是另一事物情况存在的条件的命题。 2、种类及逻辑形式 （1）充分条件假言命题：p→q （2）必要条件假言命题: p←q （3）充要条件假言命题: pq 3、真值情况： （1）在充分条件假言命题中，只有当p 真而q 假时，p→q才为假； （2）在必要条件假言命题中，只有当p假而q 真时， p←q才为假； （3）在充要条件假言命题中，当p、q不同时为真或不同时为假时，pq才为假。 4、假言直言推理（假言三段论） 1、含义：前提为一个假言命题与一个直言命题而推出结论为直言命题的推理。 2、种类： A、充分条件假言直言推理的规则： 肯定前件就要肯定后件，否定后件就要否定前件。 否定前件不能否定后件，肯定后件不能肯定前件。 有效推理式（1）肯定前件式：（（p→q）∧p) →q
六、假言变形推理
充分条件假言换质推理：（p→q） → （乛p←乛q）
假言换质推理 必要条件假言换质推理：（p←q） → （乛p→乛q）
充要条件假言换质推理：（pq） → （乛p乛q）
充分条件假言换质换位推理：（p→q） → （乛q →乛p）
假言换位换质推理 必要条件假言换质换位推理：（p←q） → （乛q ←乛p）
负命题的负命题：乛p p
九、复合命题的其他推理 1、二难推理 含义：由两个充分条件假言命题、一个二肢选言命题为前提而进行的推理。 种类：简单构成式、简单破坏式、复杂构成式、复杂破坏式 （1）简单构成式：两个假言命题的前件不同但后件相同，选言命题肯定两个不同的
前件，结论肯定共同的后件的形式。 （（p→ r） ∧ （q→ r）） ∧（ p ∨ q））→ r