Questo Articolo è estratto dal Grande Manuale di logica
OR [ VEL ] a ˅ b
(inclusivo – o…, o…)
Il connettivo logico OR, chiamato anche “vel” o “disgiunzione inclusiva”, può essere scritto con il simbolo “˅”. Lega due proposizioni a e b in modo che almeno una delle due debba essere vera (se sono vere entrambe va comunque bene).
Nella formulazione verbale estesa viene scritto come “o” e “oppure”: “io canto oppure ballo” ma anche “io o canto o ballo”. Sinteticamente a ˅ b.
Per descrivere quando la proposizione complessa a ˅ b è vera o falsa si utilizza la tavola di verità.
| Tavola di verità OR – VEL – ˅ |
|||
| a | b | a˅b | |
| V | V | V | a ˅ b risulta vero perché viene rispettata la condizione che sia vero almeno uno tra a e b (a e b sono entrambi veri) |
| V | F | V | a ˅ b risulta vero perché viene rispettata la condizione che sia vero almeno uno tra a e b (in questo caso a) |
| F | V | V | a ˅ b risulta vero perché viene rispettata la condizione che sia vero almeno uno tra a e b (in questo caso b) |
| F | F | F | a ˅ b risulta falso perché non viene rispettata la condizione che sia vero almeno uno tra a e b (a e b sono entrambi falsi) |
Nella tabella di verità a ˅ b risulta vero quando almeno uno tra a e b è vero. Se entrambi sono falsi allora a ˅ b sarà falso.
Il connettivo logico OR è detto inclusivo in quanto la verità di una delle due proposizioni include la possibilità che sia vera anche l’altra.
| PAGINA PRECEDENTE | PROSSIMA PAGINA |
| AND [ET] a ˄ b | OR [VEL] a ˅ b |
| NOT ¬ | XOR  |
| IMPLICAZIONE ⇒ | DERIVAZIONE → |
| DOPPIA IMPLICAZIONE ⇔ | Logica Proposizionale |
| Negazioni di Connettivi Logici |
Negazioni di Quantificatori |
| Negazioni Multiple |
© il testo è di esclusiva proprietà dell’autore ed è sottoposto a COPYRIGHT – non è consentito alcun utilizzo diverso dallo studio gratuito degli utenti del sito
