Il 0% ha trovato utile questo documento (0 voti)
9 visualizzazioni1 pagina

Connettivi 2 PDF

Il documento descrive due tipi di disgiunzioni logiche: inclusiva (OR) e esclusiva (XOR). La disgiunzione inclusiva è vera se almeno una delle proposizioni è vera, mentre quella esclusiva è vera solo se una delle due è vera, escludendo l'altra. Vengono forniti esempi pratici per illustrare entrambi i concetti.

Caricato da

curiosity
Copyright
© © All Rights Reserved
Per noi i diritti sui contenuti sono una cosa seria. Se sospetti che questo contenuto sia tuo, rivendicalo qui.
Formati disponibili
Scarica in formato PDF, TXT o leggi online su Scribd
Il 0% ha trovato utile questo documento (0 voti)
9 visualizzazioni1 pagina

Connettivi 2 PDF

Il documento descrive due tipi di disgiunzioni logiche: inclusiva (OR) e esclusiva (XOR). La disgiunzione inclusiva è vera se almeno una delle proposizioni è vera, mentre quella esclusiva è vera solo se una delle due è vera, escludendo l'altra. Vengono forniti esempi pratici per illustrare entrambi i concetti.

Caricato da

curiosity
Copyright
© © All Rights Reserved
Per noi i diritti sui contenuti sono una cosa seria. Se sospetti che questo contenuto sia tuo, rivendicalo qui.
Formati disponibili
Scarica in formato PDF, TXT o leggi online su Scribd

La disgiunzione logica

Esistono due tipi di disgiunzioni logiche


• La disgiunzione logica inclusiva (OR)
La disgiunzione logica inclusiva è un connettivo binario perché lega due proposizioni tra
loro. La proposizione composta dalla disgiunzione inclusiva è vera se è vera almeno una
delle proposizioni che la compongono. Il simbolo della disgiunzione logica inclusiva è ∨
Ecco la tavola di verità della disgiunzione logica inclusiva.

Esempio. La proposizione logica "se piove o grandina domani vado a scuola" è composta da due
proposizioni semplici legate tra loro dall'operatore "o" inclusivo (or). La proposizione composta è
vera se almeno una delle proposizioni semplici è vera. Non importa quale. Inoltre, l'una non esclude
l'altra. Per questo è detta disgiunzione "inclusiva". Se entrambe le proposizioni semplici sono vere
"piove e grandina" anche la proposizione composta è vera.
La disgiunzione logica esclusiva (XOR)
La disgiunzione logica esclusiva è un connettivo binario perché lega due proposizioni. Una
proposizione composta tramite la disgiunzione esclusiva è vera se è vera solo una delle proposizioni
che la compongono ma non entrambe. Se sono vere entrambe, la proposizione composta è falsa. Il
simbolo della disgiunzione logica (o XOR) è una v̇ con un punto sopra oppure un più cerchiato ⊕.

Questa è la tavola di verità della disgiunzione logica esclusiva

Esempio. La proposizione logica "domani resto a casa o vado a scuola" è composta da due
proposizioni logiche legate tra loro dall'operatore "o" esclusivo (xor). La proposizione composta è
vera solo se una delle due proposizioni semplici è vera. Se entrambe le proposizioni semplici sono
vere, la proposizione composta è falsa perché l'una esclude l'altra. Per questo è detta disgiunzione
"esclusiva". Se resto a casa non vado a scuola e viceversa.

Potrebbero piacerti anche