Apri il menu principale

Modifiche

m
Annullate le modifiche di 95.245.111.101 (discussione), riportata alla versione precedente di RedBot
:<math> v(\neg A) = 1.\, </math> se <math> v(A) = 0.\, </math>.
Si noti che in generale:
:<math> V(A)+V( come\neg nelA) caso\le di1 rocco siffredi</math>
Si trova dunque un interessante risultato:
:<math> v(A \wedge \neg A) = 0.\, </math>
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.