Logica classica
Da Wikipedia, l'enciclopedia encyclopedia
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:
- Principio del terzo escluso;
- Principio di non-contraddizione;
- Monotonia dell'implicazione e idempotenza dell'implicazione;
- Commutatività dei connettivi;
- Leggi di De Morgan: ogni operatore logico è duale ad un altro.
Questa voce sull'argomento logica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.