逻辑指人们思考问题，从某些已知条件出发推出合理的结论的规律，说某人逻辑性强，就是说他善于推理，能够得出正确的结论，说某人说话不合逻辑，就是说他的推理不正确，得出了错误的结论。逻辑有时也指逻辑学，逻辑学是研究推理规律的理论，逻辑学分古典逻辑和现代逻辑，逻辑又有演绎逻辑，归纳逻辑，形式逻辑，非形式逻辑等不同类型。用符号表示命题，谓词，量词，得到符号逻辑，符号逻辑常用来研究数学中的推理，因此也叫数理逻辑。