Algebra 1/Insiemi Logica Relazioni/Logica di base: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 90:
=== Disgiunzione esclusiva ===
La ''disgiunzione esclusiva'' di due proposizioni si ottiene con il connettivo (o congiunzione) “o … o” (''aut'', ''xor'', <math>\veebar</math>): la proposizione <math>t</math> ottenuta dalla disgiunzione esclusiva di due proposizioni <math>p</math> e <math>q</math>, in simboli <math>t=p \veebar q</math>, è vera quando soltanto una delle due proposizioni è vera ed è invece falsa quando le due proposizioni sono entrambe vere o entrambe false.▼
Per esempio, nell’affermazione <<oggi il Milan vince o pareggia>> la congiunzione “o” ha valore esclusivo.▼
{| style="border-top:1px solid black; border-bottom:1px solid black;text-align:left; background:white;" align="center" border="0" cellspacing="0"
|-style="border-bottom:1px solid black;"
!align="center"|<math>p\veebar q</math>▼
! style="border-bottom:1px solid black;" align="center"|<math>p</math> 
! style="border-bottom:1px solid black;" align="center"|<math>q</math> 
▲! style="border-bottom:1px solid black;" align="center"|<math>p\veebar q</math> 
|-
|align="center"|V  
|align="center"|V  
|align="center"|F  
|-
|align="center"|V  
|align="center"|F  
|align="center"|V  
|-
|align="center"|F  
|align="center"|V  
|align="center"|V  
|-
|align="center"|F  
|align="center"|F  
|align="center"|F  
|}
▲La ''disgiunzione esclusiva'' di due proposizioni si ottiene con il connettivo (o congiunzione) “o … o” (''aut'', ''xor'', <math>\veebar</math>): la proposizione <math>t</math> ottenuta dalla disgiunzione esclusiva di due proposizioni <math>p</math> e <math>q</math>, in simboli <math>t=p \veebar q</math>, è vera quando soltanto una delle due proposizioni è vera ed è invece falsa quando le due proposizioni sono entrambe vere o entrambe false.
▲Per esempio, nell’affermazione <<oggi il Milan vince o pareggia>> la congiunzione “o” ha valore esclusivo.
=== Negazione ===
|