推论、定理、命题等术语的使用区别往往是比较主观的，因为“简单明了”的定义本来就与作者及上下文相关。当然，推论一般被认为不如定理重要。

逻辑（古希腊语：λογική；德语：Logik；法语：logique；英语：logic；意大利语、西班牙语、葡萄牙语: logica），又称理则、论理、推理、推论，是对有效推论的哲学研究。逻辑被使用在大部分的智能活动中，但主要在哲学、心理、学习、推论统计学、脑科学、数学、语义学、法律和计算机科学等领域内被视为一门学科。逻辑讨论逻辑论证会呈现的一般形式，哪种形式是有效的，以及其中的谬论。

逻辑通常可分为三个部分：归纳推理、溯因推理和演绎推理。

在哲学里，逻辑被应用在大多数的主要领域之中：形而上学/宇宙论、本体论、知识论及伦理学。

在数学里，逻辑是指形式逻辑和数理逻辑，形式逻辑是研究某个形式语言的有效推论。主要是演绎推理。 在辩证法中也会学习到逻辑。数理逻辑是研究抽象逻辑关系和数学基本的问题。

在心理、脑科学、语义学、法律里，是研究人类思想推理的处理。

在学习、推论统计学里，是研究最大可能的结论。主要是归纳推理、溯因推理。

在计算机科学里， 是研究各种方法的性质，可能性，和实现在机器上。主要是归纳推理、溯因推理，也有在归纳推理的研究。

从古文明开始（如古印度、中国和古希腊）都有对逻辑进行研究。在西方，亚里斯多德将逻辑建立成一门正式的学科，并在哲学中给予它一个基本的位置。