Also known as standard logic, Frege–Russell logic
sistema formal
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
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).