Questo Articolo è estratto dal Grande Manuale di logica
AND [ ET ] a ˄ b
Il connettivo logico AND viene anche chiamato “et” o “congiunzione logica” e può essere scritto con il simbolo “˄”. Lega due proposizioni a e b imponendo che siano vere entrambe contemporaneamente.
Nella formulazione verbale estesa viene scritto come “e”: “io canto e ballo”. Sinteticamente a ˄ b.
Per descrivere quando la proposizione complessa a ˄ b è vera o falsa si utilizza la tavola di verità:
| Tavola di verità AND – ET – ∧ | |||
| a | b | a˄b | |
| V | V | V | a ˄ b risulta vero perché viene rispettata la condizione che a e b siano entrambi veri |
| V | F | F | a ˄ b risulta falso perché non viene rispettata la condizione che a e b siano entrambi veri (b è falso) |
| F | V | F | a ˄ b risulta falso perché non viene rispettata la condizione che a e b siano entrambi veri (a è falso) |
| F | F | F | a ˄ b risulta falso perché non viene rispettata la condizione che a e b siano entrambi veri (a e b sono entrambi falsi) |
Nella tabella di verità a ˄ b risulta vero quando a e b sono entrambi veri. Se uno dei due o entrambi sono falsi allora a ˄ b sarà falso.
| 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
