欢迎来到天天文库
浏览记录
ID:38032517
大小:32.50 KB
页数:3页
时间:2019-05-24
《逻辑复习内容》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、概念的定义、特征、种类。概念间的外延关系是直言命题推理的基础,直言命题推理实质上就是主谓项外延关系的推演。概念间的外延关系:可分为:相容关系和不相容关系相容关系:全同关系真包含于关系真包含关系交叉关系其中:真包含于关系和真包含关系是属种关系不相容关系就是全异关系,它有两种特殊形式:矛盾关系反对关系一、定义1定义:明确概念内涵的逻辑方法。2.构成:被定义项(DS)=种差+属概念(DP)。3.规则:①DS=DPDS>DP定义过窄DS2、用否定命题:否定定义二、划分1.定义:明确概念外延的逻辑方法2.构成:母项=子项外延之和3.规则:① 子项必须互相排斥(全异关系)错误:子项相容② 划分按统一标准错误:标准不一③ 相应相称母项>子项外延之和缺少子项(划分过窄)母项<子项外延之和多出子项(划分过宽)三、概括和限制概括和限制1.在属种关系内进行:限制:属→种概括:种→属2.反变关系(两个属种关系的外延):内涵越大,外延越小;内涵越小,外延越大。直言命题的定义和构成 AEIO的真假关系 对当关系的性质矛盾关系——AO、EI、ae的关系性质:不同真不同假反对关系——AE、A3、e、Ea的关系性质:同假不同真下反对关系——IO、Ie、Oa的关系性质:同真不同假差等关系——AI、Aa、aI、EO、Ee、Oe的关系性质:全称→特称全真特真,特假全假;全假特不定,特真全不定。注意:SaP与SeP不是反对关系,而是矛盾关系。三段论的定义、结构、格和式、基本规则n 三段论的形式判定一般要分三步骤:n 把三段论转换为形式;n 用五条基本规则去检验;n 作出判定:遵守每一条规则的,就是有效三段论;违反了任何一条规则的,就是无效三段论。 三段论证明三段论证明必须建立在五条基本规则之上。三段论是一个推理系统,其4、初始公理就是三段论公理,五条基本规则就是定理,定理由公理导出。三段论证明就是在这个系统中,推导出一切真理(存在于本系统的真理)。证明的要求1.正确的引用规则(只能运用基本规则)2.证明的条理清晰(合理安排证明的次序)3.证明要简洁(不可多证或少证)关系命题形式的常项是关系R,变项是关系项a、b、c......一、关系推理有效的逻辑依据是关系R的性质:1.对称关系推理aRb├bRa该推理形式有效的要求是,R是对称关系。若R是非对称关系或反对称关系,则推理无效。2.反对称关系推理aRb├bRa该推理形式有效的要求是,R是反对称关系。若R是非对称关系或对称5、关系,则推理无效。3.传递关系推理aRb,bRc├aRc该推理形式有效的要求是,R是传递关系。若R是非传递关系或反传递关系,则推理无效。4.反传递关系推理aRb,bRc,则aRc该推理形式有效的要求是,R是反传递关系。若R是非传递关系或传递关系,则推理无效。二、完全归纳推理完全归纳推理是必然性推理。完全归纳推理形式中的S1——Sn的外延必须与S的外延是全同关系。
2、用否定命题:否定定义二、划分1.定义:明确概念外延的逻辑方法2.构成:母项=子项外延之和3.规则:① 子项必须互相排斥(全异关系)错误:子项相容② 划分按统一标准错误:标准不一③ 相应相称母项>子项外延之和缺少子项(划分过窄)母项<子项外延之和多出子项(划分过宽)三、概括和限制概括和限制1.在属种关系内进行:限制:属→种概括:种→属2.反变关系(两个属种关系的外延):内涵越大,外延越小;内涵越小,外延越大。直言命题的定义和构成 AEIO的真假关系 对当关系的性质矛盾关系——AO、EI、ae的关系性质:不同真不同假反对关系——AE、A
3、e、Ea的关系性质:同假不同真下反对关系——IO、Ie、Oa的关系性质:同真不同假差等关系——AI、Aa、aI、EO、Ee、Oe的关系性质:全称→特称全真特真,特假全假;全假特不定,特真全不定。注意:SaP与SeP不是反对关系,而是矛盾关系。三段论的定义、结构、格和式、基本规则n 三段论的形式判定一般要分三步骤:n 把三段论转换为形式;n 用五条基本规则去检验;n 作出判定:遵守每一条规则的,就是有效三段论;违反了任何一条规则的,就是无效三段论。 三段论证明三段论证明必须建立在五条基本规则之上。三段论是一个推理系统,其
4、初始公理就是三段论公理,五条基本规则就是定理,定理由公理导出。三段论证明就是在这个系统中,推导出一切真理(存在于本系统的真理)。证明的要求1.正确的引用规则(只能运用基本规则)2.证明的条理清晰(合理安排证明的次序)3.证明要简洁(不可多证或少证)关系命题形式的常项是关系R,变项是关系项a、b、c......一、关系推理有效的逻辑依据是关系R的性质:1.对称关系推理aRb├bRa该推理形式有效的要求是,R是对称关系。若R是非对称关系或反对称关系,则推理无效。2.反对称关系推理aRb├bRa该推理形式有效的要求是,R是反对称关系。若R是非对称关系或对称
5、关系,则推理无效。3.传递关系推理aRb,bRc├aRc该推理形式有效的要求是,R是传递关系。若R是非传递关系或反传递关系,则推理无效。4.反传递关系推理aRb,bRc,则aRc该推理形式有效的要求是,R是反传递关系。若R是非传递关系或传递关系,则推理无效。二、完全归纳推理完全归纳推理是必然性推理。完全归纳推理形式中的S1——Sn的外延必须与S的外延是全同关系。
此文档下载收益归作者所有