逻辑复习内容.docVIP

概念的定义、特征、种类。 概念间的外延关系是直言命题推理的基础，直言命题推理实质上就是主谓项外延关系的推演。 概念间的外延关系：可分为：相容关系和不相容关系 相容关系：全同关系 真包含于关系 真包含关系 交叉关系 其中：真包含于关系 和真包含关系是 属种关系 不相容关系就是全异关系，它有两种特殊形式：矛盾关系 反对关系 一、定义 1定义：明确概念内涵的逻辑方法。 2.构成：被定义项(DS)=种差+属概念(DP)。 3.规则： ①DS = DP DS DP 定义过窄 DS DP 定义过宽 ②.不能直接或间接的包含被定义项 直接包含：同语反复 间接包含：循环定义 ③.不能含混不清 含混定义；比喻定义 ④.不能用否定命题：否定定义 二、划分 1.定义：明确概念外延的逻辑方法 2.构成：母项=子项外延之和 3.规则： ①???? 子项必须互相排斥（全异关系） 错误： 子项相容 ②???? 划分按统一标准 错误： 标准不一 ③???? 相应相称 母项子项外延之和 缺少子项（划分过窄） 母项子项外延之和 多出子项（划分过宽） 三、概括和限制 概括和限制 1.在属种关系内进行： 限制：属→种 概括：种→属 2.反变关系（两个属种关系的外延）： 内涵越大，外延越小； 内涵越小，外延越大。 直言命题的定义和构成? AEIO的真假关系? 对当关系的性质 矛盾关系——AO、EI、ae的关系 性质：不同真不同假 反对关系——AE、Ae、Ea的关系 性质：同假不同真 下反对关系——IO、Ie、Oa的关系 性质：同真不同假 差等关系——AI、Aa、aI、EO、Ee、Oe的关系 性质：全称→特称 全真特真，特假全假； 全假特不定，特真全不定。 注意：SaP与SeP不是反对关系，而是矛盾关系。 三段论的定义、结构、格和式、基本规则 ???????三段论的形式判定一般要分三步骤： ???????把三段论转换为形式； ???????用五条基本规则去检验； ???????作出判定：遵守每一条规则的，就是有效三段论；违反了任何一条规则的，就是无效三段论。 ? 三段论证明 三段论证明必须建立在五条基本规则之上。 三段论是一个推理系统，其初始公理就是三段论公理，五条基本规则就是定理，定理由公理导出。 三段论证明就是在这个系统中，推导出一切真理（存在于本系统的真理）。 证明的要求 1.正确的引用规则（只能运用基本规则） 2.证明的条理清晰（合理安排证明的次序） 3.证明要简洁（不可多证或少证） 关系命题形式的常项是关系R，变项是关系项a、b、c...... 一、关系推理有效的逻辑依据是关系R的性质： 1.对称关系推理 aRb├ bRa 该推理形式有效的要求是，R是对称关系。若R是非对称关系或反对称关系，则推理无效。 2.反对称关系推理 aRb├ bRa 该推理形式有效的要求是，R是反对称关系。若R是非对称关系或对称关系，则推理无效。 3.传递关系推理 aRb,bRc├ aRc 该推理形式有效的要求是，R是传递关系。若R是非传递关系或反传递关系，则推理无效。 4.反传递关系推理 aRb,bRc,则aRc 该推理形式有效的要求是，R是反传递关系。若R是非传递关系或传递关系，则推理无效。 二、完全归纳推理 完全归纳推理是必然性推理。 完全归纳推理形式中的 S1——Sn的外延必须与S的外延是全同关系。