Logica classica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
mNessun oggetto della modifica
AD10492 (discussione | contributi)
Riga 18:
*La [[logica intuizionista]] nega la legge del terzo escluso e una delle [[teoremi di de morgan|leggi di De Morgan]];
*La [[logica paraconsistente]] nega il principio di non-contraddizione;
*La [[logica sfumata]], e la [[logica polivalente]] in genere, negano il principio del [[terzo escluso]] e, di conseguenza, iluna forma debole del principio di non-contraddizione;
*La [[logica lineare]] e la [[logica non-monotona]] nega la monotonia dell'implicazione;
*La [[logica lineare]] nega l'idempotenza dell'implicazione;