经典逻辑

Also known as standard logic, Frege–Russell logic

class of formal logics

In the Vinony graph

Vinony's link graph records 683 inbound references to 经典逻辑, and connects out to semantic theory of truth, mathematical logic and Boolean algebra.

Vinony files it under Classical logic, History of logic and Logic.

Vinony links it to 28 Wikipedia language editions.

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