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 · Español
Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios: * Principio del tercero excluido * Principio de no contradicción * Principio de explosión * Monotonicidad de la implicación Los ejemplos más comunes de lógicas clásicas son la lógica proposicional, la lógica de primer orden y la lógica de segundo orden. Las lógicas clásicas son los sistemas formales más estudiados y utilizados de todos.
Abstract from DBpedia / Wikipedia · CC BY-SA