logica classica
Sign in to saveAlso known as standard logic, Frege–Russell logic
branca della logica formale
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 · Italiano
La logica classica è la branca della logica formale che è stata più studiata e usata. È caratterizzata da certe proprietà; le logiche non-classiche sono quelle che non soddisfino ad una (o più) di queste proprietà, ovvero: 1. * Principio del terzo escluso; 2. * Principio di non-contraddizione; 3. * Monotonia dell'implicazione e ; 4. * ; 5. * Leggi di De Morgan: ogni operatore logico è duale ad un altro.
Abstract from DBpedia / Wikipedia · CC BY-SA