经典逻辑
经典逻辑（英语：Classical logic），又称古典逻辑，标识已经被最深入的研究和最广泛的使用的一类形式逻辑，也被称为标准逻辑（standard logic）。它们被特征化为一些性质；非经典逻辑缺乏一个或多个这种特性，它们是：
- 排中律
- 无矛盾律
- 蕴涵的单调性和蕴涵的幂等律（分别就是结构规则中弱化规则和紧缩规则）
- 合取的交换律
- 德·摩根对偶律：所有逻辑算子都对偶于另一个
| 单词 | Classical logic |
| 释义 |
Classical logic
中文百科
经典逻辑经典逻辑（英语：Classical logic），又称古典逻辑，标识已经被最深入的研究和最广泛的使用的一类形式逻辑，也被称为标准逻辑（standard logic）。它们被特征化为一些性质；非经典逻辑缺乏一个或多个这种特性，它们是：
英语百科
Classical logic 经典逻辑Classical logic identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well. They are characterised by a number of properties: While not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics. |
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。