Loading AI tools
principio che afferma che una proposizione può essere o vera o falsa Da Wikipedia, l'enciclopedia libera
In logica, il principio di bivalenza afferma che per ogni proposizione P, o P è vera oppure P è falsa, ossia che il grado di verità di una proposizione ammette valori nell'insieme discreto {VERO,FALSO}.
Nella logica classica, il principio di bivalenza è equivalente all'affermazione secondo cui non possono esistere proposizioni che non siano né vere né false, in quanto proposizioni di questo genere sono indecidibili. Nella logica intuizionista, talvolta il valore di verità di una proposizione P non può essere determinato (cioè P non può essere né provata né confutata): in tal caso, P semplicemente non possiede alcun valore di verità. Altri tipi di logica, ad esempio la logica polivalente, e in particolare la logica sfumata, possono assegnare a P un valore di verità indeterminato o intermedio.
Tale principio non deve essere confuso con quello del terzo escluso, né col principio di non-contraddizione. Infatti, per ogni proposizione P, in un dato istante e sotto un dato aspetto, le tre leggi possono essere così formulate:
Se si esprimono le leggi di non-contraddizione e del terzo escluso usando il formalismo della logica proposizionale tradizionale:
Di fatto, usando le regole della stessa logica proposizionale, e assumendo valido per ipotesi il principio di bivalenza, nonché il principio di non-contraddizione, si può ricavare il principio del terzo escluso. Infatti, nel contesto della logica bivalente (o booleana), negando due volte il principio di non-contraddizione ed utilizzando la proprietà distributiva, si ottiene il principio del terzo escluso, ciò significando che nel contesto di un ragionamento consistente, logica bivalente e principio del terzo escluso sono perfettamente equivalenti.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.