形式逻辑
什么是形式逻辑
什么是形式逻辑什么是形式逻辑有时候，大家会描述一些说话方式或是念头“有逻辑”。
说白了逻辑，就是逻辑思维的规律性，逻辑学便是有关逻辑思维规律性的理论。
下面和小编一起来看什么是形式逻辑，希望有所帮助！形式逻辑指的是传统式逻辑，范畴指演译逻辑，理论还包含梳理逻辑。
形式逻辑的基础理论是由古希腊文化杰出的思想家亚里士多德最先开创的'。
亚里士多德是现代文学家柏拉图的学员、亚力山大天尊的教师，于公元384年出生于北爱尔兰的一个皇室家中。
18岁时，亚里士多德被送至古罗马的柏拉图学校学习培训，自此二十年间，亚里士多德一直住校园内里，直到教师柏拉图在前347年过世。
亚里士多德的见识非常普遍，他在物理、形而上学、诗文和戏剧表演、歌曲、分子生物学、社会经济学、生物学、逻辑学、社会学及其伦理学等课程均有针对性的经典著作。
在形式逻辑层面，亚里士多德做为创始人，将他的绝大多数理论载入了《形而上学》第四卷和《工具论》的相关一部分。
亚里士多德从存在论和逻辑2个层面明确提出和创建了他的逻辑逻辑思维规律性基础理论。
在他的哲学著作《形而上学》中，他最先研究了矛盾律，而且将矛盾律当作是一切证实都必须的最基本的基本原理，因而是不用被证实也是不可以被证实的。
除基本定律以外，亚里士多德还开创了“三段论”。
“三段论”是演绎推理的第一个逻辑管理体系，它第一次促使创造性思维足以流于形式，也促使形式逻辑足以变成一门单独的课程。
亚里士多德在《前分析篇》中表明了三段论的基础观念，强调三段论是由前提和结果组成，而前提和结果又是由三个词项（即中项、大类、小项）组成。
《后分析篇》的文中，亚里士多德列举了那样的事例：假如全部B是A。
而且全部C是B。
那么全部C是A。
而在一个恰当的三段论中，当前提真正时，结果也必定是真正的；而当前提虚报时，结果也是虚报。
因而，能够见到，要是前提为真，便能够依靠三段论去逻辑推理基本上万事万物中间的联络。
也更是由于那样，亚里士多德针对三段论推崇备至。
形式逻辑
人的情感好恶与人的逻辑存在相互作用的关系，但形式逻辑无力反映这一点。它就像高唱“存天理，灭人欲” 的儒者一样，对这种影响视而不见——甚至大加伐戮。这也自然，因为在形式逻辑里，人就是机器——根本就不 应该有什么情感和好恶。于是，至少因果关系和类比关系，在形式逻辑里是说不清的。
相较于朴素逻辑，形式逻辑的缺陷在于无法解释部分生活事件，也无法解释不符合形式逻辑本身的逻辑的来 源。具体例子是，这样的语言结构“连……（名词A）我都不认为……（形容词Z），那么……（名词B）还会 是……（形容词Z）吗？”形式逻辑就是不能解释的。而朴素逻辑则可解释为：大前提“A比B更Z”，小前提“A 不是Z”，结论“B更不Z”。究其原因，在于形式逻辑不承认表述对比关系的句子可以当作三段论的命题，因此 使得其不能解释朴素逻辑中的“对比”过程。
在中国，形式逻辑的产生基本与欧洲同时。代表学派有墨家与名家，此外还有儒家的荀子。有意思的是，墨 家研究逻辑为的是找到逻辑的原则，而名家为的是建立诡辩体系。墨家对于逻辑的认识集中在《墨经》中，该书 对于逻辑已有了系统地论述。例如它区分了充分条件与必要条件，提出“大故（充分必要条件），有之必然，无 之必不然”与“小故（必要条件），有之不必然，无之必不然”。
在此先对称名逻辑进行一些介绍。
按照认知的串行形式与并行形式的观点来看，称名逻辑是转换逻辑。
辩证逻辑的三条原则，即对立统一、否定之否定、质量互变。另外，辩证逻辑有五个维度，即原因维度（内 因外因、根本原因－主要原因－次要原因）、主次维度（主次矛盾、主次方面）、一般－特殊、相对－绝对、整 体－局部。三条原则与五个维度集中体现为“矛盾”的观点及分析方法。在方法上，辩证逻辑要求用全面的、发 展的、联系的、矛盾的观点看待问题，要求具体问题具体分析，要求明确讨论问题的前提范畴。主张确定的范畴 下，有确定的真理。
形式逻辑和辩证逻辑的例子
形式逻辑和辩证逻辑的例子全文共四篇示例，供读者参考第一篇示例：形式逻辑和辩证逻辑都是逻辑学的分支，它们分别代表着不同的思维方式和思考方法。
形式逻辑主要关注命题之间的推理关系，强调逻辑结构的严谨和逻辑演绎的准确性；而辩证逻辑则更侧重于事物之间的矛盾和发展规律，注重整体性和综合性。
下面我将通过一些例子来说明形式逻辑和辩证逻辑的不同之处。
形式逻辑的一个经典例子是“所有人都会死，苏格拉底是人，所以苏格拉底会死”。
这个推理过程遵循了形式逻辑的规则，即全称命题的陈述范围不能超出该范畴所含的对象。
若“所有人”都会死，那么包括苏格拉底在内的所有人都会死。
这个推理过程是严密的、准确的，逐步推演出苏格拉底必将死亡这一结论。
而辩证逻辑则更注重事物的整体性和矛盾性。
在辩证逻辑中通常会考虑到事物的多面性和相互作用的关系。
在某一个领域中可能会存在着“进步”和“退步”两种相反的趋势。
在这种情况下，我们需要综合考虑这两种趋势之间的矛盾关系，并找到一种合适的平衡点。
辩证逻辑不仅考察事物自身的矛盾运动，还考虑到不同因素之间的矛盾关系，从而综合地思考问题。
举个例子，我们可以看到在现代社会中科技的发展带来了许多便利，但同时也带来了环境污染、资源枯竭等问题。
这就是一个典型的辩证推理过程，需要综合考虑科技进步与环境保护之间的矛盾关系，探索一种既能促进社会发展又能保护环境的可持续发展模式。
形式逻辑和辩证逻辑虽然有所差异，但它们并非是对立的关系。
在实际问题中常常需要综合运用两种逻辑方法，既注重严密性和准确性，又要考虑到整体性和矛盾性。
形式逻辑可以帮助我们建立基本的思维框架，辩证逻辑则可以帮助我们更深入地理解问题的本质和发展趋势。
形式逻辑和辩证逻辑都是逻辑思维的重要工具，各自有其特点和优点。
在解决问题和思考复杂事物时，我们可以根据实际情况灵活运用两种逻辑方法，以更全面、综合的视角来认识和解决问题。
【字数已超过2000字】。
第二篇示例：形式逻辑和辩证逻辑是逻辑学中两种主要的思维方式，它们在不同的语境下有着不同的应用。
形式逻辑
形式逻辑1，概念及其相互之间的关系判断：是对事物及其情况有所断定的思维形式断定：就是肯定或否定事物及其情况Eg,鲁迅是文学家（肯定判断）上帝不存在（否定的真判断）郁金香不是植物（假判断）从语法上说语句有四种类型：陈述句；疑问句；感叹句；祈使句从逻辑上看，只有陈述句，即陈述事物及其情况的句子才与判断相适应，也就是，陈述句具有判断特征，而对于疑问句，感叹句和祈使句，则一般都不表达判断。
Eg,人会长生不老吗？——只是提出问题，并没有做出断定注：但在疑问句中，反诘疑问句，即以反问形式表达事物及其情况的仍为判断。
Eg. 难道2+2不等于4吗？命题：自然语言所表达的思想，在一般情况下，判断，命题是不作区分可以并用的。
Eg. 三角形内角和之和等于180命题形式：指由常项，和变项组成的思想表达方式。
其中常项指有固定意义的词，即逻辑联结词。
如“如果，则”，“并且”，“或者”等。
变项指没有固定意义的代词，如p,q它们可以代入任意命题。
在一个命题形式中的所有变项都取了值，则可得到一个具体命题。
Eg. 如果p则q 如果2<5则5>2.一、简单判断1）性质判断：对事物及其情况性质的断定，又称“直言判断”因素：判断主项，判断谓项，判断联项和判断量项。
判断主项：指事物及其情况的概念用“S ”表示判断谓项：表示判断的主项所反映事物的情况是否有某种性质常用“P ”表示 判断联项：联接主项和联项的概念有肯定和否定之分判断量项：表主项数量。
分为全称量项，如“所有”，“一切”，“凡”；和特称量项，如“有”，“有些”。
Eg1, 所有的偶数都是能被2整除2， 所有的金属都不是导电体重难点：a) 性质判断真假性的判断(1) (2) (3)(4) (5)(1)S, P满足（1）或（2）则SAP为真，否则为假。
(2)S，P满足（4）则SEP为真，否则为假(3)S, P满足（1），（2），（3）或（4）则SIP为真，否则为假(4)S，P满足（3），（4），（5）之一，则SOP为真，否则为假即：由上表知A真则E假，E真则A假，A假则E可真可假，E假A可真可假反对关系I真则O可真假，I假则O真，O假则I真，O真则I可真可假下反对关系A真则I必为真，I假则A假差等关系E真则O必为真，O假则E假对当关系A真则O必为假，A假则O真矛盾关系E真则I必为假，I假则E真Eg, 所有郁金香都是植物；所有郁金香都不是植物；有郁金香不是植物；有郁金香是植物2）关系判断：指凡含有多个主项而且谓项断定事物某种关系的，表示形式aRb 或Rab 其中a,b代表主项，为单独概念，R为谓项是普通概念。
形式逻辑规则
形式逻辑规则
嘿，大家知道吗，形式逻辑规则就像是我们思维世界里的一套秘密法则！比如说，“同一律”就像是我们走路要沿着一条直直的路走，不能中途乱拐弯。
就像你说你喜欢吃苹果，那就一直是喜欢吃苹果，不能一会儿又说喜欢吃香蕉啦。
还有“矛盾律”呢，这就好像我们不能既说今天是晴天，又同时说今天是雨天呀，这多矛盾呀，对不对？像我有一次和朋友明明约好了要去公园玩，结果我又说不想去公园，这可把朋友搞糊涂了，哎呀！
再有“排中律”，就如同面前有两条路，你要么走左边那条，要么走右边那条，可不能站在中间犹豫半天啥也不选呀！像那次我们做选择去哪儿吃饭，总不能既说去这家餐厅又说不去吧。
而“充足理由律”呢，就好像你说你考试考得好是因为你努力学习了，这就是一个充足的理由呀！别总说那种没道理的话哟。
这些形式逻辑规则呀，真的超级重要呢！它们能让我们的思考更清晰、更有条理。
想想看，如果没有这些规则，那我们说话做事不都乱套了嘛！就像是没有了交通规则的马路，那得堵成啥样呀！所以呀，我们可得好好遵守
这些形式逻辑规则，让我们的思维世界更井井有条，让我们能更好地表达自己、理解别人呀！不要小瞧这些规则，它们真的能给我们的生活带来很大的影响呢！。
什么是形式逻辑
什么是形式逻辑形式逻辑是逻辑学的一个分支，它研究的是逻辑推理的形式结构和有效性。
与实质逻辑（材料逻辑）不同，形式逻辑不关心具体命题的真假或内容，而是关注推理过程中命题之间的逻辑关系。
形式逻辑的基本概念是命题和推理。
命题是陈述或判断性的语句，可以是真或假。
推理是根据已知的命题通过逻辑关系得出新的命题的过程。
形式逻辑通过规则和符号系统来分析推理过程，探讨有效的思维方式。
形式逻辑的核心是推理规则和推理形式。
推理规则是逻辑思维的基本准则，用来确保逻辑推理的有效性。
常见的推理规则有三段论、假言推理、拒取推理等。
推理形式是指一类具有相同逻辑结构的推理，用符号来表示，独立于具体内容。
例如，陈述两个前提，再根据这两个前提进行推理，从而得出一个结论，就是一种推理形式。
形式逻辑通过符号和公式的运用来分析命题和推理。
它使用形式符号来代替自然语言中的词语，以简化命题和推理的表达。
常见的符号有∧表示合取（与）、∨表示析取（或）、→表示蕴涵（如果……则……）、¬表示非（非真为假，非假为真）等。
通过对符号和公式进行转换和推导，形式逻辑可以判断命题之间的逻辑关系，验证推理的有效性。
形式逻辑在数学、计算机科学、哲学等领域有着广泛的应用。
它提供了一种抽象的思维工具，用来分析和解决问题。
通过形式逻辑的学习，可以培养逻辑思维的能力，提高分析和推理问题的能力。
总结起来，形式逻辑是研究推理形式和有效性的一门学科。
它通过符号和公式的运用，分析命题之间的逻辑关系，探讨逻辑推理的思维方式。
形式逻辑在各个学科领域都有重要应用，对于培养逻辑思维能力和解决问题非常有帮助。
形式逻辑思维的基本规律
形式逻辑思维的基本规律形式逻辑是关于逻辑推理的一种研究方法，它主要关注命题之间的推理关系，以及这些关系的规律和性质。
形式逻辑思维的基本规律可以总结为以下几点。
一、命题逻辑的基本规律命题逻辑是形式逻辑的基础，它研究的是命题之间的真值关系和推理规律。
在命题逻辑中，有一些基本规律需要遵循。
1. 非律：对于任意命题P，非非P等价于P。
即“非非P”与“P”具有相同的真值。
2. 合取律：对于任意命题P和Q，P与Q的合取等价于Q与P的合取。
即“P且Q”与“Q且P”具有相同的真值。
3. 析取律：对于任意命题P和Q，P或Q的析取等价于Q或P的析取。
即“P或Q”与“Q或P”具有相同的真值。
4. 蕴含律：对于任意命题P和Q，P蕴含Q等价于非P或Q。
即“P蕴含Q”与“非P或Q”具有相同的真值。
5. 等值律：对于任意命题P和Q，P等价于非非P，P与Q等价于非P或Q，P与Q等价于非P蕴含非Q。
二、谓词逻辑的基本规律谓词逻辑是形式逻辑的进一步发展，它研究的是谓词之间的推理关系。
在谓词逻辑中，有一些基本规律需要遵循。
1. 全称量化规律：对于任意谓词P(x)和变量x，如果对于任意x，P(x)都成立，则可以推出∀xP(x)成立。
即如果一个谓词对于所有变量都成立，则可以推出全称量化的命题成立。
2. 存在量化规律：对于任意谓词P(x)和变量x，如果存在一个x使得P(x)成立，则可以推出∃xP(x)成立。
即如果一个谓词存在一个变量使得它成立，则可以推出存在量化的命题成立。
3. 量词的分配律：对于任意命题P(x)和Q(x)以及变量x，量词的分配律成立。
即∀x(P(x)∧Q(x))等价于(∀xP(x))∧(∀xQ(x))，∃x(P(x)∨Q(x))等价于(∃xP(x))∨(∃xQ(x))。
三、推理规律除了命题逻辑和谓词逻辑的基本规律外，形式逻辑还包括一些推理规律。
1. 假言推理：如果一个条件命题的前提成立，那么可以推出其结论成立。
即如果P蕴含Q，并且P成立，那么可以推出Q成立。
形式逻辑的基本规律课件
(P134)例3 张先生买了块新手表。他把新手表与家中旳锥钟对照， 发觉手表比挂钟一天慢了三分钟；后来他又把家中旳挂钟与电台旳 标按时对照，发觉挂钟比电台标按时一天快了三分钟。张先生所以 推断：他旳手表是精确旳。
下列哪项是对张先生推断旳正确评价？ （A）张先生旳推断是正确旳，因为手表比挂钟慢三分钟，挂钟 比标按时快三分钟，这阐明手表按时。 （B）张先生旳推断是错误旳，因为他不应该把手表和挂钟比， 应该是直接和标淮时比。 （C)张先生旳推断是错误旳，因为挂钟比标按时快三分钟，是原 则旳三分钟；手表比挂钟慢三分钟，是不原则旳三分钟。 （D）张先生旳推断既无法断定为正确，也无法断定为错误。
（P139）3.“世间万物中，人是第一种可宝贵旳。我是人，所以， 我是世间万物中第一种可宝贵旳。” 这个推理中旳逻辑错误，与下列哪项中出现旳最为类似？ （A）作案者都有作案动机，某甲有作案动机，所以某甲一定是 作案者。 （B）各级干部都要遵纪遵法，我不是干部，所以我不要遵纪遵 法。 （C）中国人不怕死，我是中国人，所以我不怕死。 （D）想当翻译就要学外语，我又不想当翻译，何须费力学外语。
（P143）17.对同一事物，有旳人说“好”，有旳人说“不好”， 这两种人之间没有共同语言。可见，不存在全民族通用旳共同语 言。 下列除哪项外，都与题干推理所犯旳逻辑错误近似？ （A）甲：“厂里要求，工作时禁止吸烟。”乙：“当然，可我 吸烟时从不工作。” （B）有意杀人者应处死刑，行刑者是有意杀人者，所以行刑者 应处死刑。 （C）象是动物，所以小象是小动物。 （D）这种观点既不属于唯物主义，又不属于唯心主义，我看两 者都有点像。 解：题干违反了同一律，犯有“偷换概念”旳逻辑错误。(B)、
违反同一律所犯旳逻辑错误有“混同（或偷换）概念”、 “转移（或偷换）论题”。
形式逻辑与形而上学的相互关系
形式逻辑与形而上学的相互关系引言形式逻辑和形而上学是哲学中重要的两个分支，它们在探讨不同领域的问题时相互关联并相互支持。
形式逻辑是研究推理形式和有效推理方法的学科，而形而上学则研究存在、实在和本体等问题。
从表面上看，形式逻辑和形而上学似乎是截然不同的学科，但实际上它们之间有着密切的联系和相互渗透的关系。
本文将探讨形式逻辑与形而上学的相互关系，并讨论它们对于哲学研究的重要性。
形式逻辑的基本概念与方法形式逻辑是基于形式符号的理论，它研究的是推理形式和推理规则。
形式逻辑主要涉及到命题逻辑、谓词逻辑和模态逻辑等内容。
在形式逻辑中，通过使用符号和符号之间的关系，可以将自然语言中的推理过程形式化，从而使得推理过程更加严密和精确。
命题逻辑是形式逻辑中最基本的分支，它研究的是命题和命题之间的关系。
在命题逻辑中，命题被表示为符号，通过逻辑连接词（如“与”、“或”、“非”）来构造复杂的命题。
同时，命题逻辑还研究了推理规则，如合取推理、析取推理和否定推理等。
谓词逻辑是命题逻辑的扩展，它引入了谓词符号和量词符号，并研究了命题中的谓词和对象之间的关系。
在谓词逻辑中，命题被表示为谓词符号和对象符号的组合，通过量词符号来限定变量的范围。
谓词逻辑可以更加准确地描述自然语言中的推理过程，使得推理过程更加精细和复杂。
模态逻辑是形式逻辑中的另一个重要分支，它研究的是命题的可能性和必然性。
在模态逻辑中，引入了模态操作符号（如“可能”、“必然”），用于表示命题的不同的语义特征。
通过模态逻辑，可以更加准确地描述现实世界中的事实和可能性，从而使得推理过程更加细致和全面。
形而上学的基本概念与方法形而上学是哲学中研究存在、实在和本体等问题的学科，它关注的是超越感性经验的领域。
形而上学讨论的是世界的本质和结构，关注的是存在的本体问题。
形而上学的研究对象包括实体、属性、关系、时空等，它试图揭示存在的真实面貌并寻找背后的本质。
形而上学的研究方法主要是通过思辨和分析的方式进行。
形式逻辑学
形式逻辑学引言形式逻辑学是一门研究逻辑关系的学科，它并不关注具体的逻辑内容，而是关注逻辑结构和形式。
形式逻辑学强调逻辑语句的形式，而不关心这些语句是否描述了现实世界中的事实。
通过对逻辑语句和推理规则的分析，形式逻辑学帮助我们理解推理的基础和原则，以及帮助我们辨别有效的推理和无效的推理。
发展历程形式逻辑学的起源可以追溯到古希腊的哲学家们。
亚里士多德是形式逻辑学发展的先驱者之一，他发展了一套基于命题逻辑的推理方法。
在亚里士多德的逻辑体系中，逻辑命题可以用类别和陈述来表示，推理规则通过分析命题之间的关系来确定。
在中世纪，逻辑学在欧洲的大学中得到了广泛的教授和研究。
逻辑学家们将形式逻辑学用于哲学和神学的讨论中，以推导出一致的观点并驳斥错误的观点。
这个时期的逻辑研究主要集中在命题逻辑和论证形式上。
到了19世纪，形式逻辑学得到了新的发展。
数学领域的逻辑学研究使形式逻辑学得到了新的启发，形式逻辑学的概念被引入到了数学推理中。
数学家们将形式逻辑学的方法运用到数学证明中，以确保证明的正确性和严谨性。
20世纪下半叶，随着计算机科学的发展，形式逻辑学又进入了一个新的阶段。
形式逻辑学被运用到人工智能和自动推理系统中，以解决复杂问题和自动化推理过程。
这些新的应用场景促进了形式逻辑学的发展和研究。
形式逻辑学的基本概念命题逻辑命题逻辑是形式逻辑学的一个重要分支，它是一种逻辑系统，用于描述和分析命题之间的关系。
在命题逻辑中，命题是指一个陈述句，可以判断为真或假。
命题逻辑通过连接词（如“与”、“或”、“非”）和逻辑符号（如“∧”、“∨”、“¬”）来表示命题之间的逻辑关系，从而进行推理和分析。
在命题逻辑中，命题通过逻辑连接词进行组合，形成复合命题。
逻辑连接词有与（∧）、或（∨）、非（¬）等。
以及（∧）连接的两个命题都为真时，复合命题才为真；或（∨）连接的两个命题中至少一个为真时，复合命题为真；非（¬）用来取反一个命题，即原命题为真时，取反命题为假。
什么是形式逻辑
什么是形式逻辑，我们如何理解形式逻辑形式逻辑是逻辑学中的一种重要分支，主要研究推理的形式和结构，而不关注具体的内容。
形式逻辑涉及到命题、谓词、量词等概念，以及它们之间的逻辑关系，如合取、析取、条件、否定等。
形式逻辑的基本原理是恒真律、排中律和矛盾律，它还包括一些推理规则和证明方法，如演绎法、归谬法、假设法等。
理解形式逻辑需要从以下几个方面进行深入探讨：一、命题逻辑命题逻辑是形式逻辑的一种，它涉及到命题、合取、析取、条件、否定等概念。
命题是一个陈述句子，它可以是真或假，而且只有这两种可能性。
合取是指多个命题同时成立，用“∧”表示；析取是指多个命题中至少有一个成立，用“∨”表示；条件是指一个命题成立会导致另一个命题成立，用“→”表示；否定是指一个命题不成立，用“¬”表示。
命题逻辑通过对这些逻辑关系的分析，研究推理和论证的问题。
二、谓词逻辑谓词逻辑是形式逻辑的另一种，它涉及到谓词、量词、变量等概念。
谓词是一个描述性词语，它可以是真或假，而且可以应用于某些对象上。
量词是指描述谓词所应用的对象数量的词语，如“所有”、“存在”等。
变量是指可以代表任意对象的符号，它可以用来表示谓词中的参数。
谓词逻辑通过对这些概念的分析，研究推理和论证的问题。
三、证明方法形式逻辑中常用的证明方法包括演绎法、归谬法、假设法等。
演绎法是指从一些已知的真命题出发，通过逻辑推理得出新的命题的方法。
归谬法是指通过证明一个命题的否定来证明该命题的方法。
假设法是指假设一个命题成立，然后通过逻辑推理来验证该命题是否成立的方法。
这些证明方法都是基于形式逻辑的规则和原理，可以帮助人们更好地进行推理和论证。
四、应用领域形式逻辑在许多领域都有着广泛的应用，如计算机科学、人工智能、哲学、数学等。
在计算机科学中，形式逻辑被用来描述和分析程序的正确性和安全性。
在人工智能中，形式逻辑被用来表示知识和推理过程。
在哲学中，形式逻辑被用来分析和理解推理和论证的过程。
形式逻辑_精品文档
形式逻辑引言：形式逻辑是逻辑学中的一个重要分支，研究的是逻辑关系的形式而不是内容。
它关注如何正确地推理和论证，而不论具体的主题或领域。
形式逻辑借助符号和公式来表达语言中的逻辑关系，从而使逻辑分析更加清晰和精确。
本文将介绍形式逻辑的基本概念和原则，并探讨其在理论和实践中的重要性。
一、形式逻辑的基本原则形式逻辑建立在几个基本原则之上，这些原则指导着逻辑推理和分析的过程。
1. 真值：形式逻辑认为命题（proposition）可以取真（true）或假（false）两个值。
只有在真值确定的情况下，逻辑推理才能进行。
2. 合式公式：形式逻辑使用合式公式（well-formed formulas）来表示逻辑关系。
合式公式是由命题变量、逻辑连接词和括号组成的。
3. 逻辑连接词：形式逻辑使用逻辑连接词来表示命题之间的逻辑关系。
包括合取（and）、析取（or）、否定（not）等。
4. 推理规则：形式逻辑使用推理规则来推导新的合式公式。
常见的推理规则包括假言推理、谬误识别和等价转换等。
二、形式逻辑的符号系统为了更加清晰和精确地表达逻辑关系，形式逻辑引入了符号系统。
符号系统使用符号来代表命题、逻辑连接词和推理规则，从而使逻辑分析变得更加简洁和规范。
1. 命题变量：在形式逻辑中，命题可以用字母或字母组合表示。
这些字母被称为命题变量，代表一个未知的命题。
2. 逻辑连接词的符号表示：形式逻辑使用特定的符号来表示逻辑连接词，比如“∧”表示合取，“∨”表示析取，“¬”表示否定等。
3. 推理规则的符号表示：形式逻辑使用符号来表示推理规则，比如“→”表示假言推理，“≡”表示等价转换等。
三、形式逻辑在理论上的重要性形式逻辑在理论上具有重要的意义，它为其他学科领域的理论构建和分析提供了基础。
1. 形式逻辑为思维规律提供基础：形式逻辑通过定义逻辑关系和推理规则，揭示了思维的一般规律。
它帮助人们理解思维过程中的常见误区，并提供了正确的推理方法。
形式逻辑学课件
演绎论证
演绎论证是从一般到个别的推理方法，它基于普 遍接受的规则或原理来得出特定结论。
因果论证
因果论证是通过确定事件之间的因果关系来进行 推理的方法。
非形式逻辑的应用领域
法律领域
非形式逻辑在法律领域中用于分析和评估证据、论点和判决。
商业领域
非形式逻辑在商业决策、市场分析和广告策划中用于评估信息和 制定策略。
亚里士多德是古典形式逻 辑的奠基人，他的逻辑理 论至今仍有深远影响。
现代逻辑学
19世纪末至20世纪初，数 理逻辑的兴起为形式逻辑 学带来了新的发展机遇。
符号逻辑
随着符号逻辑的发展，形 式逻辑学在数学、计算机 科学等领域的应用越来越 广泛。
02
命题逻辑
命题及其性质
总结词
理解命题的概念和性质是学习命题逻辑的基础。
词项是形式逻辑学中的基本概念，指具有确定内涵和外延的思维形态。根据内涵和外延是否明确，词 项可以分为单独词项、普遍词项和空词项。
直言命题及其推理
总结词
命题形式与推理规则
详细描述
直言命题是表达事物性质或事物之间 关系的命题，包括量项、主项、谓项 和联项。直言命题的推理包括对当关 系推理、换质推理、换位推理等。
命题逻辑的公理系统
总结词
公理系统是形式逻辑学中重要的组成部分，为推理提供了基 础和依据。
详细描述
公理系统包括一组基本规则和公理，用于推导其他命题。在 命题逻辑中，常用的公理系统包括自然推理系统和集合论系 统等，这些系统为推理提供了严密的形式化基础。
03
词项逻辑
词项及其性质
总结词
定义与分类
详细描述
《形式逻辑》课程笔记
《形式逻辑》课程笔记第一章绪论一、逻辑学的内容与对象1. 逻辑学是研究思维形式及其规律的科学，主要研究推理、论证、概念、判断、命题等思维形式，以及它们之间的逻辑关系和逻辑规律。
2. 逻辑学的对象包括：（1）思维形式：如概念、判断、推理、论证等。
（2）思维内容：如命题的真假、概念的内涵和外延等。
（3）思维规律：如同一律、矛盾律、排中律等。
二、逻辑学的性质与作用1. 逻辑学的性质：（1）逻辑学是一门基础科学，为其他科学提供研究方法和思维方式。
（2）逻辑学是一门工具科学，为实际应用提供逻辑分析和论证方法。
（3）逻辑学是一门交叉科学，与哲学、数学、计算机科学等领域密切相关。
2. 逻辑学的作用：（1）提高思维品质：通过学习逻辑学，可以培养严密的思维、批判性思维和创新性思维。
（2）指导科学研究：逻辑学为科学研究提供方法论指导，帮助科学家进行有效的推理和论证。
（3）促进人际沟通：逻辑学有助于提高沟通效果，使表达更加清晰、有条理。
（4）辅助决策制定：逻辑学为决策者提供逻辑分析工具，帮助做出合理、明智的决策。
三、逻辑学的研究与学习方法1. 逻辑学的研究方法：（1）形式化方法：将自然语言中的逻辑关系抽象为符号系统，研究符号系统中的逻辑结构。
（2）语义分析方法：研究逻辑形式的真假含义，探讨逻辑形式与现实世界的关系。
（3）辩证法：分析事物之间的矛盾和联系，揭示事物的本质和发展规律。
2. 逻辑学的学习方法：（1）理论学习：系统学习逻辑学的基本概念、原理和方法。
（2）案例分析：通过分析典型逻辑案例，加深对逻辑学理论的理解。
（3）实践应用：将逻辑学知识应用于实际问题，提高逻辑思维和论证能力。
（4）交流探讨：与他人交流逻辑学观点，取长补短，共同提高。
第二章推理概述一、推理的构成成分1. 推理是由前提、结论和推理形式组成的思维形式。
推理的目的是从前提出发，通过推理形式得出结论。
2. 前提：是推理中提出来的，作为推理依据的已知判断。
什么是形式逻辑
什么是形式逻辑形式逻辑是一种研究逻辑推理规则和推理形式的分支学科。
它关注的是逻辑结构以及逻辑推理的形式，而不仅仅关注具体的逻辑内容。
形式逻辑在哲学、数学、认知科学等领域有广泛的应用。
形式逻辑研究的是逻辑形式的抽象推理规则。
逻辑形式是指推理过程中的结构和方式，与具体内容无关。
形式逻辑所关注的是推理过程中的有效性和正确性，这种推理可以独立于具体领域的语言、概念和事实。
形式逻辑的起源可以追溯到古希腊。
亚里士多德是形式逻辑的奠基人，他在《篇章》中提出了分类学和明确的推理规则。
形式逻辑经过漫长的发展，衍生出了许多分支和体系，如谓词逻辑、命题逻辑、模态逻辑等。
形式逻辑的研究方法主要是使用符号和符号系统进行推理和分析。
符号在形式逻辑中代表逻辑结构和关系的抽象表示。
通过对符号的组合和转换，可以揭示给定前提下的推理过程和结论。
形式逻辑的分析结果可以用符号和结构来表示，这种抽象化的表达方式使得推理过程简洁且易于理解。
形式逻辑的研究内容包括逻辑连接词、命题、谓词、量词等。
逻辑连接词是指用于连接命题的词语，如“而且”、“或者”、“如果...那么...”等。
命题是具有真值可判断的陈述句，可以用符号表示，如P、Q等。
谓词是指可以作用于一个或多个个体，产生命题的语句，如“是红色的”、“是大的”等。
量词则表示谓词所涉及个体的范围和数量，如“对于每一个”、“存在一个”。
形式逻辑的推理规则主要包括假言推理、双重否定、构造演算等。
假言推理是以假设的形式进行推理，根据前提和假设的逻辑关系得出结论。
双重否定则通过否定命题的否定形式，得出与原命题等价的结论。
构造演算则是通过逻辑连接词的组合和转换推导出新的命题。
形式逻辑在哲学、数学、计算机科学等领域有广泛的应用。
在哲学中，形式逻辑用于分析和评估论证和观点的有效性。
在数学中，形式逻辑是数理逻辑的基础，用于证明定理和推导数学结论。
在计算机科学中，形式逻辑是设计和验证软件系统的重要工具。
形式逻辑的研究对于培养逻辑思维和批判性思维具有重要意义。
形式逻辑
一、绪论1、内容与对象：形式逻辑是源于古希腊的逻辑理论；包括演绎与归纳、有传统与现代之分的逻辑；是相对辩证逻辑而言的逻辑。
形式逻辑就是研究抽象思维的思维形式及其规律，并涉及一些思维方法的科学。
2、性质与作用：人类性、工具性基础性。
认识、交际、批判等方面的作用。
3、研究与学习的方法：传统逻辑以非形式化的方法进行研究；现代逻辑以形式化和系统化的方法研究他推理规律。
根据作用，明确学习目的与意义，端正学习态度，提高学习的自觉性与积极性；根据对象，从逻辑领域及其角度入手；根据内容，抓住重点、系统掌握；根据研究方法，克服困难、把握符号与公式；根据性质，多练、多用、理论联系实际、切忌死记硬背。
二、推理概述1、构成成分：概念与词项、命题与推理（1）概念是反映对象特有属性的思维形态。
语词是词和词组的统称。
二者的区别：任何概念都必须通过语词来表达，但并非所有的语词都表达概念；不同语词可以表达同一概念；同一语词可以表达不同概念。
词项是概念及其语言形式的统一体（2）命题是反映对象情况的思维形态命题是语句的思想内容，语句是命题的物质载体，不是一一对应的关系2、组成部分：前提、结论、推理联项推理是从若干命题直接得出一个命题的思维过程或思维形态3、推理的逻辑性质推理内容是由前提与结论的命题内容构成的，即前提与结论对具体事物情况的反映构成推理的有效性：指推理形式能否保证从真前提必然得出真结论（内容真实、形式有效）推理的可靠度：可靠度的值>0，否则就无可靠性；包括=1推理的分类：（1）传统的分类：演绎推理、归纳推理、类比推理（2）现代的分类：必然性推理、或然性推理三、复合命题演绎推理1、。
形式逻辑 辩证逻辑 三大逻辑
形式逻辑辩证逻辑三大逻辑形式逻辑是一种逻辑学上的理论，它研究命题之间的关系。
Formal logic is a theoretical study in logic, which investigates the relationships between propositions.形式逻辑主要涉及到命题的真假和关系，以及逻辑推理的规则。
Formal logic mainly involves the truth and relations of propositions, as well as the rules of logical inference.形式逻辑通过符号和公式来描述命题之间的关系和推理规则。
Formal logic describes the relationships between propositions and the rules of inference through symbols and formulas.形式逻辑可以分为命题逻辑和谓词逻辑两种类型。
Formal logic can be divided into two types: propositional logic and predicate logic.命题逻辑主要研究命题之间的联结方式和推理规则。
Propositional logic mainly studies the ways of connecting propositions and the rules of inference.命题逻辑使用符号表示命题的真假和联结关系。
Propositional logic uses symbols to represent the truth and relations of propositions.命题逻辑关注的是命题之间的逻辑关系，而不涉及命题中的主语和谓语。
Propositional logic focuses on the logical relationships between propositions, without involving the subjects and predicates in the propositions.谓词逻辑引入了量词和谓词符号，可以描述更复杂的命题关系。
形式逻辑
形式逻辑所谓形式逻辑是在“质”的规定不变的情况下，对“质”的同态性表述。
它反映的是事物的“象素”、是量的积累。
也就是说，形式逻辑的推演表现的是事物自身的等同性，即在推演的过程中，事物的质的规定不能从一种质的规定变化为另一种质的规定。
以下棋为例，若规定是中国象棋，则在下棋（对奕）的过程中，“马走日字” 的规定不能变。
如果一个下棋的人，一会马走日字，一会又走田字，对自己怎么有利就怎么走，这是不能允许的。
在数学的演绎过程中，无论如何变化，等式的两端必须相等。
也就是说，在演绎的过程中要素要保持自身的质的不变性（ a = a ），任何数学题求解的过程都是这样一个过程。
所以，在西方学者对数学规则的研究中，就有人说：“数学是形式化公理确定下的数字游戏。
”而这种游戏的规则用形式逻辑的语言表达就是：矛盾律 a ≠ ( a 不等于非 a ) 、同一律 a = a ( a 等于 a ) 、排中律： a 不能同时既等于 a 又不等于 a 。
在这三条规则下，对事物的分析与演绎就是形式逻辑的方法。
这一方法最早的数学表现形式就是埃及土地测量中总结出的几何公理规则，并演出了完备的体系——几何原本。
由于《几何原本》用起来真灵，从而产生了一种坚定的信仰，认为这几条公理规则——观念是不变的永恒的真理。
这种观念不变的思想就构成了机械唯物主义的发轫；同时也就弘扬了数学的符号演绎精神。
这种精神直至原子物理和天体物理等近代科学的出现才被打破，使欧氏几何发展为非欧几何，才打破了欧氏几何原本的游戏规则，如平行公理。
但多年来这种不变的法则使人们产生的惯性思维就是排斥“ 变”，也就是排斥辩证的思维。
这就使得西方人很难接受中国人的玄学、道学、理学，即易变之学。
（二）辩证逻辑所谓辩证逻辑就是在认识事物的过程中不但认知事物当前的、现在的“质”的不变性（稳定性） a = a ，同时还要认识到这种不变性是暂住的： a 经过质的变化还可以等于非 a （ a = ）。
形式逻辑知识点总结
形式逻辑知识点总结1.逻辑形式由逻辑常项和逻辑变项组成。
2.概念的种类根据外延中分子对象的数量来判断，单独概念指只有一个分子对象的概念，而普遍概念指具有两个或两个以上分子对象的概念。
集合概念是指把对象作为集合体来反映的概念，非集合概念则不把对象作为集合体来反映。
正概念即肯定概念，反映对象具有某种属性，负概念即否定概念，反映对象不具有某种属性。
3.概念间的关系有全同关系（同一关系）、真包含于关系（种属关系）、真包含关系（属种关系）、交叉关系、全异关系、矛盾关系和反对关系。
4.定义的规则包括定义项外延与被定义项外延之间必须是全同关系，被定义项不得直接或间接出现在定义项中，定义项必须用清楚确切的概念，定义联项不能是否定的。
5.划分的规则包括划分必须是相应相称的，划分的子项互相排斥，每次划分的根据必须相同。
需要注意划分和分解的区别。
6.遵守限制的规则是必须的。
7、概括的规则：每次概括必须由种概念推演到属概念，不能概括哲学范畴。
8、性质判断的组成：性质判断由主项、谓项、联项和量项组成。
主项代表对象的概念（S），谓项代表对象具有或不具有的性质的概念（P），联项代表主项和谓项之间的联系，量项代表主项数量的概念。
9、性质判断的种类：决定性质判断种类的词项是量项和联项。
全称肯定判断（SAP或A判断）、全称否定判断（SEP或E判断）、特称肯定判断（SIP或I判断）、特称否定判断（SOP或O判断）、单称肯定判断（SaP或a判断）和单称否定判断（SeP或e判断）。
注意：特称量项“有的”和日常语言中的“有的”含义不完全相同。
10、同一素材的性质判断之间的真假关系：有矛盾关系的A和O，以及E和I判断不能同真，也不能同假，一个真则另一个必假，一个假则另一个必真。
有反对关系的A和E判断不能同真，但可以同假。
其中一个判断为真则另一个判断一定为假，如果其中一个为假则另一个真假不定。
有下反对关系的I和O判断可以同真，但不能同假。
其中一个判断为真则另一个判断真假不定，如果其中一个判断为假则另一个判断一定真。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
《形式逻辑》模拟试题（A）班级：姓名：学号：成绩：一、判断题（指出下列论断是否正确？正确的在括号内写“对”，不正确的写“错”。
每题1分，共10分）1、“人民警察在人民群众中享受着崇高的威信，我要做一个合格的人民警察。
” 这段议论中的两个“人民教师”都是集合概念。
（错）2、“教师”和“干部”这两个概念之间的关系是矛盾关系。
（错）3、概念的限制是通过减少概念的内涵来实现的。
（错）4、“朝大明不是犯罪分子”这个判断的主谓项都是周延的（对）5、如果一个相容选言判断选言支都是假的，那么这个相容就是假的。
（对）6、“SOP”这个判断是不能换质位的。
（错）7、“李某反对赵某”中的“反对”是对称关系。
（错）8、归纳推理是从一般原理推出个别结论的推理。
（错）9、根据矛盾律，两个互相矛盾或互为反对的判断必然有一个是假的。
（对）10、假言判断就是表示假设的判断。
（错）二、单项选择题（在每小题的备选的答案中选择一个正确的答案填在括号中。
每小题1分，共10分）1、概念具有两个基本的特征，其中一个是（C）。
A、真实性B、必然性 C 、内涵 D、实用性2、“国家公务员”这个概念可以限制为（ A ）。
A、国家工作人员B、人类灵魂的工程师C、人民的勤务员 D 、职员3、“没有一个犯罪分子不是触犯刑律的”这个判断的逻辑形式是（B）。
A、特称判断B、全称肯定判断C、单称判断D、全称否定判断4、“长沙在广州的北面”和“长沙和广州都是省会城市。
”这两个判断（ C ）。
A 、都是关系判断 B、都是联言判断C、前者是关系判断，后者是联言判断D、前者是联言判断，后者是关系判断5、已知“SEP”为假，可必然推出（ C ）。
A、SAP真B、SOP 真 C 、SIP 真 D、SAP假6、“扬某喜欢王某”中的“喜欢”，属于（ C ）关系。
A、对称且传递B、对称但反传递C、非对称且非传递D、对称但非传递7、下列公式中正确表达了I与O真假关系的是（ D ）A、不能同真，可以同假B、不能同真，不能同假C、不能同真，可以同假D、可以同真，不能同假8、充分条件假言判断的逻辑含义是（ A ）。
A、当前件存在时，后件一定存在B、当前件存在时，后件一定不存在C、当前件不存在时，后件一定不存在D、当前件不存在时，后件一定存在9、若“只有小刘是公务员，小刘才懂行政管理”为假，则（D）为真。
A、如果小刘不是公务员，那么小刘不懂行政管理。
B、小刘是公务员，并且小刘不懂行政管理。
C、小刘是公务员，并且小刘懂行政管理。
D、小刘不是公务员，或者小刘不懂行政管理。
10、“王某必然是犯罪分子”与“王某可能不是犯罪分子”之间具有（ A ）。
A、不可能同真，也不可能同假B、可以同真，也可能同假C、不可同真，但可同假D、可以同真，但不可同假三、多项选择（在每题的五个备选的答案中，选出2—5个正确答案填在括号内。
每题2分，共10分）1、明确概念的逻辑方法有（ABDE ）。
A、定义B、划分C、分解D 、限制 E概括2、下列属于直言判断变形推理方法有（ADE ）。
A、换质法B、归纳法C、求异法D、换位法E、换质位法3、下列具有相同的逻辑常项的判断形式组是（BCE ）。
A、SAP与SEPB、SIP 与 PISC、P←Т与F←YD、SEP与 SOPE、P→R与Y→U4、从“禁止警察酒后开车”，能必然推出（CDE ）。
A、并非“禁止警察酒后开车”B、“警察可以酒后开车”C、“警察酒后不可以开车”D、“警察酒后不必须开车”E、“警察酒后可以不开车”5、“李某某是犯了故意杀人罪，因为他有杀人的动机，并且实施了故意杀人的行为。
因此，应该受到刑法的惩罚。
”这个证明是（AC）。
A、直接证明B、归纳证明C、演绎证明D、反证法E、事实证明四、简述题（指出下列推理是何种推理，并分析是否有效，写出其推理形式。
（每题6分，共12题，60分）1、朝大林既能言，又善辩。
所以，朝大林善辩。
联言推理。
有效，因为联言推理的前提联言判断真，推出的结论必真。
其推理形式是:P∧ｑ→ｑ2、所有的犯罪分子都是违法，所以，所有的违法都是犯罪分分子。
换位推理。
无效，因为违反了换位法推理在“前提中不周延的项到结论中不得周延”的规则。
其推理形式是：SAP→PAS。
3、所有的公民都必须遵守法律，所以不允许公民不遵守法律。
规范判断对当关系推理。
有效，因为规范判断对当关系推理矛盾关系可以由真推假。
其推理形式是：必须P→不允许不P。
4、李比比揭露了谭可可的犯罪事实，所以，谭可可揭露了李比比的犯罪事实关系推理。
无效，因为“揭露”是非对称关系，推不出必然结论。
其形式是：aRb→bRa5、并非所有的青年都不是犯罪分子，有的犯罪分子是高级知识分子，所以，有的高级知识分子是青年。
三段论推理。
无效，因为三段论推理两个特称的前提推不出结论。
其形式是：P OM,SIM→SEP。
6、所有作案人都有作案时间，王欲长有作案时间，所以，王欲长是作案者。
三段论推理。
无效，违反了三段论推理“中项必须周延一次”的规则，犯了中项不周延的逻辑错误。
其形式是：PAM,SAM→SAP。
7、犯罪分子不可能不受到惩罚，所以，犯罪分子必然受到惩罚，。
模态对当关系推理。
有效，因为模态对当关系推理矛盾关系可以由假推真，即知道一个判断真就可必然推出另一个判断假。
其推理形式是：不可能不P→必然P8、被害人或者被李勃勃所杀，或者是被周饽饽所杀；根据调查，被害人被周饽饽所杀，所以，被害人不是被李勃勃所杀。
相容选言推理。
无效，因为违反了相容选言推理“肯定一个选言支，不能否定剩下的选言支”的规则。
其推理形式是：（PV ｑ）∧P→q __。
9、只有年满18岁的公民，才有选举权；萧皮皮已满18岁。
所以，萧皮皮有选举权。
必要条件假言推理。
无效，违反了必要条件假言推理“肯定前件不能肯定后件”的规则。
其推理形式是：（P ｑ）∧ P→ｑ。
10、如果甘堂堂的行为构成盗窃罪，那么他就秘密地窃取了娜娜的财物；甘堂堂并没有秘密地窃取娜娜的财物；由此可见，甘堂堂的行为不构成盗窃罪。
充分条件假言推理。
有效，因为符合充分条件假言推理“否定后件就要否定前件”的规则。
其推理形式是：（P→ｑ）∧q __→P __五、分析题（10分）某单位被盗窃人民币20000元，经过某局侦查人的员侦查，初步确定作案者可能是桃林、眈眈、翔翔、阔阔中的一个人。
于是这四个人作为犯罪嫌疑人接受讯问。
在讯问中这四个人的口供如下：桃林：我没有作案时间，我不可能作案。
眈眈：阔阔是罪犯。
翔翔：阔阔盗窃了某单位的钱财。
阔阔：眈眈同我有仇，他在陷害我。
假定这四个人中只有一个说真话，请问罪犯是谁？谁说真话，谁说假话，并请写出分析证明的过程。
桃林作案，阔阔说真话。
分析论证如下：根据排中律，两个互为矛盾的判断必有一真，由此断定说真话的人在眈眈和阔阔两人之中。
由于说真话的在眈眈和阔阔两人之中，那么就可知道桃林和翔翔说的是假话。
由于桃林说的是假话，根据排中律又可断定是桃林作案。
该案已断定是桃林作案，因此就可推知翔翔说的是假话，而阔阔说的是真话。
一、判断题（指出下列论断是否正确？正确的在括号内写“对”，不正确的写“错”。
每题1分，共10分）1、错2、错3、错4、对5、对6、错7、错8、错9、对 10、错二、单项选择题（在每小题的备选的答案中选择一个正确的答案填在括号中。
每小题1分，共10分）1、C2、A3、B4、C5、C6、C7、D8、CA9、D 10、A三、多项选择（在每题的五个备选的答案中，选出2—5个正确答案填在括号内。
每题2分，共10分）1、A、B、D、E2、A、D、E3、B、C、E4、C、D、E5、A、C四、简述题（指出下列推理是何种推理，并说明是否有效，写出其推理形式。
（每题6分，共10题，60分）（评分标准：指出推理形式1分，是否有效1分，写出推理形式1分，说明理由3分。
）1、联言推理。
有效，因为联言推理的前提联言判断真，推出的结论必真。
其推理形式是:P ∧ｑ→ｑ2、换位推理。
无效，因为违反了换位法推理在“前提中不周延的项到结论中不得周延”的规则。
其推理形式是：SAP→PAS。
3、规范判断对当关系推理。
有效，因为规范判断对当关系推理矛盾关系可以由真推假。
其推理形式是：必须P→不允许不P 。
4、关系推理。
无效，因为“揭露”是非对称关系，推不出必然结论。
其形式是：aRb→bRa。
5、三段论推理。
无效，因为三段论推理两个特称的前提推不出结论。
其形式是：POM,SIM→SEP。
6、三段论推理。
无效，违反了三段论推理“中项必须周延一次”的规则，犯了中项不周延的逻辑错误。
其形式是：PAM,SAM→SAP。
7、模态对当关系推理。
有效，因为模态对当关系推理矛盾关系可以由假推真，即知道一个判断真就可必然推出另一个判断假。
其推理形式是：不可能不P→必然P8、相容选言推理。
无效，因为违反了相容选言推理“肯定一个选言支，不能否定剩下的选言支”的规则。
其推理形式是：（PV ｑ）∧P→q __。
9、必要条件假言推理。
无效，违反了必要条件假言推理“肯定前件不能肯定后件”的规则。
其推理形式是：（P ｑ）∧ P→ｑ。
10、充分条件假言推理。
有效，因为符合充分条件假言推理“否定后件就要否定前件”的规则。
其推理形式是：（P→ｑ）∧q __→P __。
五、分析题（10分。
评分标准：指出说作案者桃林2分，说真话者阔阔2分；分析论证准确6分，比较准确4-5分，不够准确1-3分。
）桃林作案，阔阔说真话。
分析论证如下：根据排中律，两个互为矛盾的判断必有一真，由此断定说真话的人在眈眈和阔阔两人之中。
由于说真话的在眈眈和阔阔两人之中，那么就可知道桃林和翔翔说的是假话。
由于桃林说的是假话，根据排中律又可断定是桃林作案。
该案已断定是桃林作案，因此就可推知翔翔说的是假话，而苟林说的是真话。