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