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

第二个也是最重要的知识点就是逆否等价“肯前肯后，否后否前”已经在前文阐述过了【“肯前肯后，否后否前”到底是个什么鬼？】。充分、必然强调假设关系（假设关系）...

逻辑学一门基础性的学科，逻辑学的基本理论是其他学科普遍适用的原则和方法。

同时逻辑学又是一门工具性的学科，它为包括基础学科在内的一切科学提供逻辑分析、逻辑批判、逻辑推理、逻辑论证的工具。 逻辑学是研究思维的科学。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性；思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。

从逻辑学角度看，抽象思维的三种基本形式是概念，命题和推理。 逻辑学有广义和狭义之分。

狭义的逻辑学指：研究推理的科学，即只研究如何从前提必然推出结论的科学。

广义的逻辑学指：研究思维形式，思维规律和思维的逻辑方法的科学。

广义逻辑学研究的范围比较大，是一种传统的认识，与哲学研究有很大关系。

整个逻辑学科的体系非常庞大复杂，如：传统的、现代的和辩证的、演绎的、归纳的和类比的、经典的和非经典的，等等。但是，它再庞杂也有相通的地方，例如：构建判断的方法；进行必然性推理；认同逻辑真理或逻辑规律等。 逻辑学的性质：

? (一)基础性 ? (二)工具性 ? (三)全人类性

概念、命题、推理是逻辑学思维的基本形式。

逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性；思维形式是指用以反映对象及其属性的不同方式，即表达思维内容的不同方式。从逻辑学角度看，抽象思维的三种基本形式是概念，命题和推理。

逻辑就是思维的规律，规则。逻辑学就是关于思维规律的学说。有逻辑和逻辑学两个概念通用。辑与逻搭配读轻声。

逻辑（理则学），最初的意思是“词语”或“言语”，（引申出意思“思维”或“推理”），1902年严复译《穆勒名学》，将其意译为“名学”，音译为“逻辑”；因为该词是由日制汉语“论理”一词分拆而来，所以日语还把它译为“论理学”。

传统上，逻辑被作为哲学的一个分支来研究。自从19世纪中期，逻辑经常在数学和计算机科学中研究。逻辑的范围非常广阔，从核心主题如对谬论和悖论的研究，到专门的推理分析如或然正确的推理和涉及因果关系的论证。

在我国古代，逻辑学又被称为理学、理则学、名学、刑名之学等。