经典逻辑

经典逻辑（英语：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.
随便看	law of dialectical thinking law of dialectics of nature law of difference law of differential advantage law of diffusion law of diffusion of gas Law of dilution law of diminishing demand law of diminishing enjoyment law of diminishing fertility of soil law of diminishing intensity of wants law of diminishing land fertility law of diminishing marginal productivity law of diminishing marginal rate of substitution law of diminishing marginal rate of technical substitution Law of diminishing marginal returns Law of diminishing marginal utility law of diminishing of fertility law of diminishing rate of profit law of diminishing return law of diminishing return of land law of diminishing returns law of diminishing returns of land law of diminishing substitution law of diminishing utility

Classical logic

经典逻辑

Classical logic 经典逻辑