Apri il menu principale

Modifiche

 
== Logiche a più valori ==
Sebbene in una [[logica polivalente]] (avendo opportunamente definito gli operatori AND e NEG) si possa avere che la forma classica del principio di non contraddizione cessi di valere, ossia in termini grado di verità:
:<math> v(A \wedge \neg A) > 0.\, </math>
per qualche proposizione (che è impossibile in [[logica classica]] a causa del [[principio di bivalenza]]), è in ogni modo utile rilevare che un'altra forma del principio di non contraddizione continua a funzionare nelle logiche a più valori (come la citata logica fuzzy) nella forma seguente:
Utente anonimo