Principio di non contraddizione: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Etichette: Modifica da mobile Modifica da web per mobile |
Etichette: Modifica da mobile Modifica da web per mobile |
||
Riga 52:
e quindi in tali logiche polivalenti è ''addirittura valida la forma standard del principio di non-contraddizione''. Questo sta a confermare il fatto che in generale la polivalenza '''non''' implica la negazione in alcuna forma del principio di non contraddizione.
=== Logica di Jan Łukasiewicz
Sotto opportune condizioni, quali quelle che vigono nella logica di [[Jan Łukasiewicz|Łukasiewicz]]
:<math> V(A)+V( \neg A)=1 </math>
Questa di fatto è la '''definizione della negazione nella logica fuzzy''' di Łukasiewicz e di Zadeh. È interessante rilevare che l'equazione logica:
Riga 59:
:<math> V(A)=V( \neg A)=1-V(A), </math>
che è priva di soluzioni nell'insieme degli interi (in particolare, nel sottoinsieme degli interi {0,1}), ammette invece la soluzione frazionaria: <math> v=1/2 </math> nel campo dei numeri reali (in particolare, nel sottoinsieme individuato dall'intervallo chiuso [0,1]) e ciò '''segue precisamente dal principio di non-contraddizione'''. Il punto fondamentale rimane comunque che in un sistema fuzzy quale quello di Łukasiewicz o di Zadeh, è impossibile dimostrare (VERE) sia un'affermazione
== Logica quantistica ==
|