法律逻辑学相关题目,ABCDEF六个人是某案证人,法庭决定:1.只有当A和B出庭作证时,C才出庭作证2.如果B出庭作证,那么D不出庭作证3.或者D出庭作证,或者E出庭作证4.如果E和F出庭作证,那么C不出庭
来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/26 08:31:34
法律逻辑学相关题目,ABCDEF六个人是某案证人,法庭决定:1.只有当A和B出庭作证时,C才出庭作证2.如果B出庭作证,那么D不出庭作证3.或者D出庭作证,或者E出庭作证4.如果E和F出庭作证,那么C不出庭
法律逻辑学相关题目,
ABCDEF六个人是某案证人,法庭决定:
1.只有当A和B出庭作证时,C才出庭作证
2.如果B出庭作证,那么D不出庭作证
3.或者D出庭作证,或者E出庭作证
4.如果E和F出庭作证,那么C不出庭作证
问,当C出庭作证时,F是否出庭作证?
请写出推导过程,并指出哪些证人应出庭作证
法律逻辑学相关题目,ABCDEF六个人是某案证人,法庭决定:1.只有当A和B出庭作证时,C才出庭作证2.如果B出庭作证,那么D不出庭作证3.或者D出庭作证,或者E出庭作证4.如果E和F出庭作证,那么C不出庭
我用几分钟时间给你做一下,仅供参考
设,A出庭作证为a,B出庭作证为b.F出庭作证为f.
那么以上题目可转化为以下逻辑表达式:
1,(a∧ b)←c (已知)
2,b→˜ d (已知)
3,d∨e (已知)
4,(e∧ f)→˜c (已知)
5,c (已知)
6,˜ (e∧f) (由4,5可知,根据充分条件假言推理否定后件式)
7,e∨˜ f (由6可得,根据德摩.根律)
8,a∧b (由1,5可得,根据必要条件假言推理的肯定后件式)
9,a,b (由8可得,根据联言推理的分解式)
10,˜d (由2,9可得,根据充分条件假言推理的肯定前件式)
11,e (由3,10可得,根据选言推理否定肯定式)
12,˜ f (由7,11可得,原理同上一步)
故,F不出庭作证
当C出庭作证时,F不出庭作证
推导:若C出庭,由1得:有A,B
由2得:无D
由3得:有E
由4得:无F
所以ABCE会出庭作证
这不是一个很简单的题目吗?
一、填空题
1、 任何逻辑形式都是由逻辑 常 项 和 变项 两个部分组成的,逻辑形式的不同是由 逻辑常项 的不同决定的。
2、p∨q的逻辑常项是 或者,变项是 p、q 。
3、“所有S不是P。”这个命题形式的逻辑常项是 所有---不是 ---。逻辑变项是s、p。
4、“如果某甲犯了杀人罪,则某甲应受法律制裁。”这一命题逻辑形式是如果p那么...
全部展开
一、填空题
1、 任何逻辑形式都是由逻辑 常 项 和 变项 两个部分组成的,逻辑形式的不同是由 逻辑常项 的不同决定的。
2、p∨q的逻辑常项是 或者,变项是 p、q 。
3、“所有S不是P。”这个命题形式的逻辑常项是 所有---不是 ---。逻辑变项是s、p。
4、“如果某甲犯了杀人罪,则某甲应受法律制裁。”这一命题逻辑形式是如果p那么q。其中,逻辑常项是 如果-----那么 ,逻辑变项是 p、q 。
5、任何词项都有两个逻辑特征,即 内涵和 外延 。
6、对词项进行限制和概括的逻辑根据是 词项内涵和外延间的反变关系 。
7、 单独 词项不能限制和划分。
8、在真包含关系中,外延大的那个词项叫做 属 词项,外延小的那个词项叫做 种 词项。
9、在“刑法就是规定犯罪和刑罚的法律”这个定义中,被定义项是 刑法 ,种差是 规定犯罪和刑罚 ,邻近的属词项是 法律 。
10、任何—个直言命题都是由 主项、 谓项、 量项、 联项 四个部分组成的。
11、主项与谓项均周延的直言命题的逻辑形式是 SEP ,主项与谓项均不周延的直言命题的逻辑形式是 SIP 。
12、直言命题的主项S和谓项P在外延上可能有 同一、 包含于、包含、交叉、全异五种关系。
13、一个直言命题的谓项不周延,则这个命题的质是 肯定联项 ;一个直言命题的主项周延,则这个命题的量是 全称(单称) 。
14、根据有关推理规则, O 命题不能换位, I 命题不能换质位。
15、对SAP命题换质,其结论是 SE非P ;对SAP命题换位,其结论是 PIS 。
16、将“有的律师不是共产党员”换质,其结论是有的律师是非共产党员;再将所得结论换位为有非共产党员是律师 。其推演的逻辑形式用公式表示为 SOP—SI非P-—非PIS。
17、将“犯罪行为是具有社会危害性的行为。”换质,其结论犯罪行为不是不具有社会危害性的行为;将其结论再进行换位,其结论是 有的不具有社会危害性的行为是犯罪行为。
18、如果SEP取值为真,则SIP取值为 假 、SOP取值为真 、SAP取值为假 。
19、根据直言命题对当关系,如果SEP假,则SAP 真假不定、SIP真 、 SAP 真假不定。
20、当SEP和SOP都假时,则S和P的外延之间具有 全同 和 真包含于关系。
二、单项选择题
1、“历史上先后产生的国家有奴隶制国家、封建制国家、资产阶级国家、无产阶级国家,无论何种类型的国家都是阶级专政的工具。”这里对“国家”这个词项是从( 4 )来说明的。
(1)仅从内涵方面 (2)仅从外延方面
(3)先从内涵,再从外延方面 (4)先从外延,再从内涵方面
2、词项与语词的关系是( 3 )。
(1)所有的语词都是表达词项 (2)所有的语词都不表达词项
(3)所有的词项都要通过语词来表达 (4)有的词项不通过语词来表达
3、“民不畏死,奈何以死惧之”中,“民”这个词项属于( 1 )
(1)集合词项 (2)非集合词项 (3)普遍词项 (4)负词项
4、“有的犯罪不是故意的。”这一命题的主项是( 2 )
(1)单独词项 (2)普遍词项 (3)集合词项 (4)负词项
5、在“知识分子是国家的宝贵财富。”和“大学教师是知识分子。”这两个命题中,“知识分子”这个词项( 3 )。
(1)都是集合词项 (2)都是非集合词项
(3)前者是集合词项,后者是非集合词项 (4)前者是非集合词项,后者是集合词项
6、如果有的a是b;有的a不是b,并且有的b是a ,有的b不是a;那么,a与b这两个词项具有( 3 )关系。
(1)全异 (2)全同 (3)交叉 (4)真包含于
7、当“所有S是P。”与“有的S是P。”均假时,则S与P在外延上的关系是( 2 )。
(1)全同关系 (2)全异关系 (3)交叉关系 (4)真包含关系
8、“物理学就是研究物理的科学。”作为定义,犯了( 3 )的逻辑错误。
(1)定义过宽 (2)定义过窄 (3)同语反复 (4)循环定义
9、“圆是平面上的点对一个中心保持相等距离运动所形成的封闭的曲线。”作为定义,属于( 2 )。
(1)语词定义 (2)发生定义 (3)功用定义 (4)关系定义
10、“犯罪不是合法行为。”作为定义,犯了( 3 )的逻辑错误。
(1)定义过宽 (2)定义过窄 (3)定义否定 (4)以比喻代定义
11、下列各组词项依据箭头所示的推演关系,属于正确的限制有 ( 1 )。
(1)思维形式→推理→演绎推理 (2)命题→简单命题→复合命题
(3)词项→集合词项→非集合词项 (4)三角形→锐角三角形→等角三角形
12、在直言命题中,决定命题形式的是 ( 4 )
(1)主项和谓项 (2)主项和量项 (3)谓项和联项 (4)量项和联项
13、在直言命题中,主项和谓项都不周延的是( 3 )
(1)全称肯定命题 (2)全称否定命题 (3)特称肯定命题 (4)特称否定命题
14、“凡犯罪行为都不是合法行为”这个直言命题的主项和谓项的周延情况是( 2 )。
(1)主项、谓项都不周延 (2)主项、谓项都周延
(3)主项周延、谓项不周延 (4)主项不周延、谓项周延
15、“所有拾金不昧的人都是有道德的人,老张是有道德的人,所以.老张是拾金不昧的人。”这个三段论犯了( 4 )的逻辑错误、
(1)大项扩大 (2)小项扩大 (3)两否定得结论 (4)中项不周延
16、“宪法是国家的根本犬法”这个命题的主、谓项的周延情况是( 3 )。
(1)主项、谓项都周延 (2)主项、谓项都不周延
(3)主项周延、谓项不周延 (4)主项不周延、谓项周延
17、“大部分人是懂法的。”这个命题的逻辑形式是( 3 )
(1)所有的S是P (2)所有的S不是P (3)有的S是P (4)有的S不是P
18、“甲与乙是同案犯”这个命题是( 4 )命题。
(1)直言命题 (2)联言命题 (3)选言命题 (4)关系命题
19、根据同一素材直言命题之间的对当关系中的下反对关系,可进行推演的是( 2 )。
(1)由真推假 (2)由假推真 (3)由真推真 (4)由假推假
20、“某甲是有罪的。”与“某甲是无罪的。”这两个直言命题之间是( 2 )。
(1)反对关系 (2)矛盾关系 (3)差等关系 (4)下反对关系
三、多项选择题(包括双项选择题)
1、词项和语词的关系可表达为( 1.2. 3.5 )
(1)语词是词项的语言表达形式 (2)词项是语词的思想内容
(3)任何词项都要用语词来表达 (4)任何语词都表达词项
(5)有的语词不表达词项
2、在“中国是世界上人口最多的国家。”这一命题中,主项和谓项都是(1.3.4 )
(1)单独词项(2)普遍词项(3)集合词项(4)正词项 (5)负词项
3、在“有的不道德的行为是不合法的行为”命题中,主项和谓项都是(1.2.3. )
(1)非集合词项 (2)普遍词项 (3)负词项 (4)集合词项(5)单独词项 4、在“中华民族是伟大的民族”这个命题中,“中华民族”这个词项是(1.3.5)
(1)单独词项 (2)普遍词项 (3)集合词项 (4)非集合词项 (5)正词项
5、“如果所有的a是b,那么a与b的外延关系可能是 ( 1.3 )
(1)全同关系 (2)真包含关系 (3)真包含于关系 (4)交叉关系(5)全异关系
6、当SAP真而SOP假时。S与P的外延关系应是(1.3 )
(1)全同关系 (2)真包含关系 (3)真包含于关系 (4)交叉关系 (5)全异关系
7、违反“定义必须相应相称。”这个定义规则所犯的逻辑错误有 (4.5 )
(1)同语反复 (2)循环定义 (3)定义含混 (4)定义过宽 (5)定义过窄
8、“国家是资产阶级统治无产阶级的暴力工具,国家可分为资产阶级国家和无产阶级国家。”这段话所包含的逻辑错误包括(2.3. )
(1)定义过宽 (2)划分不全 (3)定义过窄 (4)多出子项 (5)论证过少
9、下列各组词项其内涵和外延有反变关系的是( 1.5 )
(1)杀人罪、故意杀人罪. (2)成年人、未成年人
(3)有期徒刑、无期徒刑 (4)共产党员、审判员 (5)司法机关、法院
10、下列对词项限制错误的是 ( 1.3 )
(1)命题限制为词项 (2)演绎推理限制为三段论
(3)论证限制为论题 (4)间接推理限制为类比推理
(5)复合命题限制为负命题
11、下列推理中,根据对当关系中的反对关系而进行推理的有效式是( 1.3 )
(1)SAP→并非SEP (2)并非SAP→SEP
(3)SEP→并非SAP (4)并非SEP→SAP (5)SAP→并非SOP
12、当命题(2.3.4 )取值为真时,命题“班上同学都是团员”取值为假。
(1)并非班上同学都不是团员 (2)班上有的同学不是团员
(3)班上同学并不都是团员。 (4)班上同学都不是团员
(5)并非班上有的同学是团员
四、分析题
(一)下列语句作为定义或划分是否正确?如不正确,请指出其违反什么规则,犯什么逻辑错误。
1、 共同犯罪就是几个人的共同犯罪。
答:不正确,违反“定义项中不得直接或间接包含被定义项。”的规则,犯“同语反复”的逻辑错误。(以下 违反规则略)
2、 民法不是刑法。 (定义否定)
3、 商品就是通过货币进行交换的劳动产品。(定义过窄)
4、 资本家就是剥削人的人(定义过宽)
5、 宪法是国家的根本大法。(正确)
6、 失败是成功之母。(以比喻代定义)
7、 法律可分为宪法、民法、刑法、婚姻法。(划分不全)
8、 邮件可分为快件、挂号件、航空件、国内件、国外件。(子项相容或混淆根据)
9、 逻辑学是研究思维的科学。它的研究对象可分为思维的逻辑形式和一些简单的逻辑方法。(定义过宽、以分解代划分)
10三段论可分为第一格、第二格、第三格三种形式。(划分不全)
《法律逻辑学》平时作业(二)参考答案
一、填空题
1、任何一个三段论都包括并且只包括三个不同的项,即 大项、中项、小项。
2、某有效三段论的大前提为MOP,小前提应为 MAS,结论应为 SOP 。
2、违反三段论“中项在两前提中至少周延 一次”的规则,会犯 中项不周延 的逻辑错误。
4、在三段论中,由两个 否定 或 特称 的前提不能必然地推出结论。
5、第一格三段论的中项分别是大前提的 主项 ,小前提的 谓项 。
6、选言命题可分为 相容选言命题 和 不相容选言命题 两种。
7、联言推理有 分解式 和 组合式 两种有效式。
8、相容选言推理有 肯定否定式 一种有效式。
9、不相容选言推理有 肯定否定式 和 否定肯定式 两种有效式。
10、一个充分条件假言命题,只有当前件 真 而后件 假 时,它才是假的,在其它情况下,它都是真的。
二、单项选择题
1、“所有S是P。”与“没有S是P。”之间具有( 1 )
(1)反对关系 (2)矛盾关系 (3)差等关系 (4)下反对关系
2、“所有的公民都享有选举权。”与“有的公民没有选举权。”两命题之间具有( 2 )。
(1)反对关系 (2)矛盾关系 (3)差等关系 (4)下反对关系
3、“主项和谓项相同而质和量不同的两个直言命题之间是( 3 )。
(1)反对关系 (2)下反对关系 (3)矛盾关系 (4)差等关系
4、以SAP为前提进行换位法推理,推出的正确结论是( 2 )。
(1)SAP (2)PI S (3)非PIS (4)非PI非 S
5、“没有一位有成就的科学家不是刻苦学习的”。这个命题的逻辑形式是( 1 )。
(1)SAP (2)SEP (3)SIP (4)SOP
6、“普通逻辑学是没有阶级性的,普通逻辑学是科学,所以,所有的科学都是没有阶级性。”这个三段论是( 4 )
(1)有效的推理形式 (2)犯中项不周延的逻辑错误
(3)犯大项扩大的逻辑错误 (4)犯小项扩大的逻辑错误
7、“大多数大学教师都会一门外语;她是大学教师,所以,她会一门外语。”这个三段论犯的逻辑错误是( 3 )。
(1)大项扩大 (2)小项扩大 (3)中项不周延 (4)两否定推结论
8、以“所有P是M,有S不是M”为前提,进行三段论推理,推理正确的结论是 ( 3 )。
(1)有的S是P (2)所有的S都是P (3)有的S不是P (4)所有的S都不是P
9、以“没有M不是P“和”有的S是M”为前提,进行三段论推理,推理正确的结论是( 3 )。
(1)没有S是P (2)没有S不是P (3)有的S是P (4)有的S不是P
10、“凡贪污罪都是故意犯罪,这个行为是故意犯罪;所以,这个行为是贪污罪。”这一三段论所犯的逻辑错误是( 3 )。
(1)大项扩大 (2)小项扩大 (3)中项不周延 (4)两否定推结论
11、“加强物质文明建设和精神文明建设都是重要的。所以,加强物质文明建设是重要的。”这里运用的推理是( 4 )
(1)相容选言推理 (2)关系推理 (3)不相容选言推理 (4)联言推理
12、“如果不以事实为根据,或者不以法律为准绳,则不能公正断案。”其推理的逻辑形式是( 3 )。
(1)p∧q (2)p∨q (3)(非p或非q )→r (4)(非p并且非q)→非r
13、当必要条件假言命题假时,它的子命题的真假情况是( 3 )。
(1)p真q假 (2)p真q真 (3)p假q真 (4)p假q假
14、巳知“当且仅p才q,”“p∧q”,“p→q”均真, 则 ( 1 )。
(1)p真q真 (2)p假q假 (3)p真q假 (4)非p真非q假
15、当P假q假时,下列命题形式为假的是( 1 )。
(1)P∧q (2)p←q (3)p→q (4)p←→q
三、多项选择题
1、一个有效的三段论的小项、中项、大项分别为S、M、P,如P在结论中周延,则其大前提不能是 (3.4.5 )
(1)PAM (2)MOP (3)MAP (4)POM (5)PIM
2、以“所有的P是M”,“所有的S不是M”为大、小前提进行三段论推理,可必然推出( 1.3 )
(1)所有的S不是P (2)所有的S是P (3)有的S不是P (4)有的S是P
(5)没有S不是P
3、“我们不靠天吃饭,而靠天吃饭是做自然界的奴隶,所以,我们不做自然界的奴隶。”这个三段论 ( 3.5 )
(1)是三段论有效式 (2)犯小项扩大的逻辑错误
(3)犯大项扩大的逻辑错误 (4)犯中项不周延的逻辑错误
(5)违反“前提中不周延的大项和小项,在结论中也不得周延”的规则
4、以“联言命题是复合命题”为前提进行对当关系推理,推出的结论是(1.2 )。
(1)并非联言命题不是复合命题 (2)并非有的联言命题不是复合命题
(3)并非有的联言命题是复合命题 (4)并非没有联言命题不是复合命题
(5)有的联言命题不是复合命题
5、当子命题“P”、“q“均假时,下列命题为真的是( 2.3 )
(1)p∧q (2)p→q (3)p←q (4)p要么q (5)p∨q
6、当“p←→q”为真时,则其子命题的真假情况是( 1.2 )
(1)p真q真 (2)p假q假(3)p真q假 (4)p假q真(5)非p假非q真
7、当p真q真时,下列复合命题为真的有( 1.2.4.5 )
(1)p∧q (2)p∨q (3)p要么q (4)p→q (5)p←q
8、巳知“p∧q”为真,则( 2.4.5 )为假。
(1)p→q (2)p要么q (3)p←q (4)非p←q (5)并非p∨q
9、以“必然P”为前提,可必然地推出( 1.2.4.5 )
(1)并非必然P (2)P (3)非P (4)可能P (5)不可能非P
10、“p并且q”为假时,p、q或非p非q的真假情况可以是( 2.3.4.5 )
(1)p真q真 (2)p假q真(3)p真q假 (4)p假q假 (5)p真q真
11、“p←→q”为真时,则其子命题的真假情况是( 1.2 )
(1)p真q假 (2)p假q假 (3)p真q假 (4)p假q真 (5)p假q真
四、请指出下列命题的种类,并写出其逻辑形式。
1、 学习要有股拼劲,但要注意身体。(联言命题:p并且q)
2、 逆水行舟,不进则退。(不相容选言命题,p要么q)
3、 只有找到问题的关键所在,才能解决问题。(必要条件假言命题:只有p才q)
4、 如果不努力进取,就会落在同伴的后面。充分条件假言命题:如果p就q)
5、 没有一个人的成功不是经过一番奋斗的。(全称肯定命题:SAP)
6、 大多数企业都进行了体制改革。(特称肯定命题:SIP)
7、 小张和小李是同学。(关系命题:aRb)
8、 要么好恶以已,要么好恶以道。(不相容选言命题,p要么q)
《法律逻辑学》平时作业(三)参考答案
一、填空题
1、一个必要条件假言命题,只有当前件 假 而后件 真 时.它才是假的,在其它情况下,它都是真的。
2、“只有A型血的人, 才是该案的案犯。”这一命题的负命题是 并非只有A型血的人,才是该案的案犯 ,与该负命题等值的命题是 不是A型血的人,也是该案的案犯。
3、当“当且仅当P才q”为假时,“PVq”为 真 。
4、“并非如果你来,他就不来。”与该负命题等值的命题是 你来,他也来 。
5、“并非只有由外国人当经理,才能把企业搞好。”与该负命题等值的命题是 外国人不当经理,企业也能搞好。
收起
F不出庭作证
C出庭作证,则AB也出庭作证,则D不出庭作证,则E出庭作证,则F不出庭作证