Logica classica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
rollback |
|||
Riga 16:
==Logiche non classiche==
*La [[logica intuizionista]] nega la legge del
*La [[logica quantistica]] nega la distributivita`.
*La [[logica paraconsistente]] nega il principio di non-contraddizione;
|