Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
classical logic
English Wikipedia - The Free Encyclopedia
Download this dictionary
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:
Law of excluded middle
and
double negative elimination
Law of noncontradiction
, and the
principle of explosion
Monotonicity of entailment
and
idempotency of entailment
Commutativity of conjunction
De Morgan duality
: every
logical operator
is dual to another
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License