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 &lt;&lt;oggi il Milan vince o pareggia&gt;&gt; la congiunzione “o” ha valore esclusivo.
{| cellpadding="4" style="border-top: 1px solid #000; border-bottom: 1px solid #000; float: right;"
 
!align="center"|<math>p</math>
{| style="border-top:1px solid black; border-bottom:1px solid black;text-align:left; background:white;" align="center" border="0" cellspacing="0"
!align="center"|<math>q</math>
|-style="border-bottom:1px solid black;"
!align="center"|<math>p\veebar q</math>
! style="border-bottom:1px solid black;" align="center"|<math>p</math>&emsp;
! style="border-bottom:1px solid black;" align="center"|<math>q</math>&emsp;
! style="border-bottom:1px solid black;" align="center"|<math>p\veebar q</math>&emsp;
|-
|align="center"|V &emsp;
|align="center"|V &emsp;
|align="center"|F &emsp;
|-
|align="center"|V &emsp;
|align="center"|F &emsp;
|align="center"|V &emsp;
|-
|align="center"|F &emsp;
|align="center"|V &emsp;
|align="center"|V &emsp;
|-
|align="center"|F &emsp;
|align="center"|F &emsp;
|align="center"|F &emsp;
|}
 
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 &lt;&lt;oggi il Milan vince o pareggia&gt;&gt; la congiunzione “o” ha valore esclusivo.
 
=== Negazione ===