⒈ 一门研究思维和论证有效性的规范和准则的科学，传统上包括定义、分类和正确使用词项的原则，正确云谓的原则，以及推理和论证的原则。
英logic;
⒉ 思维的规律。
例不合逻辑。
⒊ 客观的规律性。
例生活的逻辑。
⒈ 思维的规律。
引沙汀 《还乡记》二：“这个想法也许不合逻辑，但在情理上却很有根据的。”
王西彦 《夜宴》一：“不过，按照 廖淑宇 先生自己的逻辑讲起来，却实在是有几分冤枉的。”
⒉ 客观的规律性。
引艾芜 《谈短篇小说》：“认真研究下去，就可以找出社会生活的某些客观规律，即生活的逻辑。”
杨沫 《林道静的道路》：“这是历史的逻辑，也是生活的逻辑。”
⒊ 顺理成章；符合规律。
引洪深 《电影戏剧的编剧方法》第六章三：“至于联合变化的方法，他指出：一个剧情可以逻辑地引起第二个剧情。”
老舍 《黑白李》：“黑李 并不黑，只是在左眉上有个大黑痣，因此他是 黑李 ；弟弟没有那么个记号，所以是 白李 ；这在给他们送外号的中学生们看，是很合逻辑的。”
⒋ 指逻辑学。
引王力 《龙虫并雕斋文集·逻辑和语言》：“逻辑是关于思维的形式和规律的科学。”
⒈ 研究思想本质和过程的科学。为英语 logic的音译。参见「理则学」条。
⒉ 合乎一般常情的规律。
例如：「他的说词前后矛盾，不合逻辑。」
⒊ 代数上指利用真假关系所处理的方法。
1、与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
2、本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。
3、基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。
4、莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
5、如何使经典数理逻辑柔性化，以包
