形式逻辑基础知识全梳理

因为假期结束，会推出“逻辑特训营”。今天带大家回顾一篇之前的文章，让大家提早进入逻辑学习的状态。

形式逻辑的基础就是严谨的翻译推理。翻译推理的首要原则就是“先翻译后推理”，即将文字转化问逻辑符号关系，再推理答案。要学习的第一个知识点就是充分条件和必要条件。“只要，就”就和“只有，才”我相信大家都分的很清楚，但这里还有两个事情困扰大家，一个是“除非，否则or除非，否则不”，请记住口诀“去除去否，箭头左画”即可，不用管它是个啥。另一个是很多同学被（凡是，都/为了，一定/离不开/必要条件）绕晕，记住“必要条件是前提，必须放在箭头右”，只要你觉得一句话里那个是前提，就放在后面就可以了。

第二个也是最重要的知识点就是逆否等价“肯前肯后，否后否前”已经在前文阐述过了【“肯前肯后，否后否前”到底是个什么鬼？】。充分、必然强调假设关系（假设关系），“且”强调并列关系（联言命题），“或”强调选择关系（选言命题），这里要记住A或者B的否命题为A推出B。另一个小知识点就是德摩根定律（名字高大上而已），-（A且B）=-A或-B，-（A或B）=-A且-B。

第三个知识点就是六芒星法则主要针对真假话问题，前文也已经阐述过了【直言命题中的六芒星法则】。还有一个小知识点就是模态命题（并非），口诀如下：并非转化，必然变可能，有的变所有，且变或。

第四个知识点是组合排列题目（就是小王第一，小丁第二，小刘第三这类），一种是选项信息充分（把题目所有主体列明），这种直接采取排除法。另一种是选项信息不充分（不列明所有主体），要提取题目中的出现次数最多或者确定性的信息作为突破口，然后进行推理，只有主体大于等于三个时，才考虑列表法和假设法。

这就是形式逻辑考察的全部重点，你觉得get到了？