法律逻辑学复习提纲

1、模态命题的定义
2、真值模态命题的类型：必然命题（□p、 □～p）、 或然命题（◇p、 ◇ ～p）
3、真值模态命题的逻辑对当关系
4、真值模态命题的负命题：表现为对原命题中模态词 的否定
规范命题1
规范命题2
二、命题5
1、规范命题的分类： 允许型（授权型）规范命题（PA、P～A）、 ‘ 必须型（义务型）规范命题（OA、O～A) 禁止型（义务型）规范命题（FA、F～ A） 2、规范命题相互间的逻辑对当关系：反对、 下反对、差等、矛盾 3、刑法规范命题的结构形式：必须A，禁止非 A;如果非A，那么S
假言命题
二、命题3
必要条件 假言命题
充分条件 假言命题
1、定义（断定有前件必有后件）、公式（p→q) 2、连接词：如果…那么、只要…就、若…就 3、真假值：为假的惟一条件是前件真而后件假； 为真的条件是前件假或后件真。 4、性质：前件真而后件真，后件假则前件必假 5、注意事项（反驳时证明前件真而后件假）
4、揭示性质命题隐含命题的方法： 换质、换位、换质位
联言命题 复合命题
二、命题2
1、定义（断定同时存在）、公式（p∧q) 2、连接词：不但而且、既又、虽然但是、并且3、 真假值：一假则假 4、永假式： p∧～q 5、注意事项（反驳时证明任一支命题假） Nhomakorabea假言命题
选言命题
1、定义（断定至少一种存在）、公式（p∨q) 2、连接词：或者、要么、可能也可能 3、类型：相容、不相容 4、真假值（相容：所有支命题假才假；不相 容：有且只有一个真时真） 5、永真式： p ∨ ～q 6、注意事项（反驳时证明任一支命题假）
否定肯定式[(p∨q)∧～p] →q 规则：前提肯定部分支命题，结论不能必然否定剩下的 支命题 （2）不相容选言推理的有效式：否定肯定式、 肯定否定式[( p ∨ q ) ∧ p] →～ q 3、注意事项：运用肯定否定式时要考虑选言支之间是否 相容；运用否定肯定式时要考虑选言支是否穷尽
充分条件假言推理 必要条件假言推理 假言推理
4、命题的分类： 性质命题、复合命题、规范命题
二、命题1
1、性质命题的定义、组成部分（四个）、 基本类型（A、E、I、O）
性质命题
2、性质命题词项（主谓项）的周延性：
全称主项否定谓项都周延、特称主项肯定 谓项都不周延
3、性质命题之间的真假关系（反对、下反对、 差等、矛盾）：逻辑方阵；
注意单称命题之间的对当关系
推理概述
三、推理
1、推理的定义 2、推理的组成要素：前提、结论、推到关系 3、推理形式：推理的结构形式 4、推理的分类：必然性与或然性（前提对结论的支持程度）
演绎、归纳与类比推理（推导进程思维方向的不同） 5、演绎推理、归纳推理与类比推理的区别和联系 6、推理的有效性、合理性和结论的真实性之间的关系
全同；真包含于； 概念间的关系 真包含；交叉；全
异（矛盾、反对）
明确概念的逻 辑方法
揭示内涵 揭示外延
定义 列举 划分
方法；概括与限 制；定义规则
划分规则
二、命题
命题的一般特征
1、命题的概念、 特征（总是有所断定、有真假值）
2、描述命题、评价命题的定义
3、命题形式（逻辑结构形式）、 逻辑性质（真假值）
联言推理
复合命题推理
演绎推理2
1、联言推理的定义：前提或结论中有一联言命题 2、联言命题的种类：
分解式：( p ∧ q ) →p或( p ∧ q ) →q 组合式：p，q → ( p ∧ q ) 3、规则：联言命题真，则其各支命题必真；反之 亦然
选言推理
假言推理
选言推理
演绎推理3
1、选言推理的定义：以选言命题作大前提，部分选言支 作小前提，推出结论 2、类型及其规则： （1）相容选言推理的有效式：
1、定义（断定无前件必无后件）、公式（p←q) 2、连接词：只有…才、必须…才、才 3、真假值：为假的惟一条件是前件假而后件真； 为真的条件是前件真或后件假。 4、性质：前件假则后件假，后件真则前件必真 5、注意事项（反驳时证明前件假而后件真）
负命题
二、命题4
1、定义（否定命题的命题）、公式（ ～p） 2、负命题与其支命题的关系：矛盾关系 3、性质命题、复合命题的负命题及其等值式 4、复合命题形式的转换 5、多重复合命题
1、定义：以必要条件假言命题作大前提进行的推理 2、有效式：否定前件式:[（p ←q ) ∧ ～p] → ～q 肯定后件式：[（p ←q ) ∧ q ] → p 3、无效式：肯定前件式、否定后件式 规则：无前件必无后件，有后件必有前件
复合命题推理的综合运用
演绎推理5
综合推理
二难推理
1、定义：充分条件选言推理、充分条件 联言推理 2、类型：简单式与复杂式（结论是简单 命题还是复合命题分）；构成式与破坏式 （肯定前件式还是否定后件式） 3、简单构成式、复杂构成式、简单破坏 式、复杂破坏式的规则：充分条件假言推 理的规则
演绎推理4
1、定义：以充分条件假言命题作大前提进行的推理 2、有效式：肯定前件式：[（p → q ) ∧ p] → q 否定后件式：[（p → q ) ∧ ～q] → ～p 3、无效式：否定前件式、肯定后件式 4、规则：有前件必有后件；无后件必无前件 5、回溯推理：肯定后件为大前提，充分条件假言命 题为小前提，结论肯定前件，即肯定后件式
法律逻辑学复习提纲
命题
逻辑
概 念 性质命题
复合命题
规范命题 演绎推理 归纳推理 类比推理
证明与反驳 逻辑思维规律
推理
论证
概念的定义、特征、法律概念的特点（规定性与客观性 的统一）
概念的内涵 认识性内涵与规定性内涵
一、 概 念
概念外延的定义、特点
准确运用概念 的逻辑基础
概念的分类
单独与普遍；集合与 非集合；简单与复合
1、三段论（性质命题推理、直言推理） 2、复合命题推理：联言推理、选言推理、假言推理
3、复合命题的综合运用：二难推理、综合推理
演绎推理
三段论
演绎推理1
1、三段论的定义、 2、三段论的特征：
三个性质命题：大前提、小前提、结论 三个不同的词项：大项、小项、中项 3、三段论的规则：前三个关于词项、后四个关于命题类型 4、三段论的格：第一二三四格 5、三段论的式：三个性质命题的类型 6、三段论的省略式的还原步骤：确定省略前提还是结论→ 省结论，根据大小项的位置和规则写出结论→省前提，根据 结论的主谓项和规则还原前提