Wikidata facts
- Part of
- logic
- Followed by
- non-classical logic
Show 5 more facts
- topic's main category
- Category:Classical logic
- Commons category
- Classical logic
- studied by
- computer science
- topic has template
- Template:Classical logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/classical-logic
Sources (3)
via Wikidata · CC0
Article · 中文
经典逻辑（英語：Classical logic），也被稱為標準邏輯（standard logic），标识已经被最深入的研究和最广泛的使用的一类演绎推理逻辑。经典逻辑是19和20世纪的创新，它比亚里士多德的传统逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑满足一些公理化的基本原理，包括：同一律、排中律、无矛盾律（也被称为矛盾律）、充足理由律等等。
Abstract from DBpedia / Wikipedia · CC BY-SA