Un connettivo logico, o operatore logico, è quell'operazione che instaura fra due proposizioni A e
B una qualche relazione che dia origine ad una terza proposizione C con un valore vero o falso, in
base ai valori delle due proposizioni fattori ed al carattere del connettivo utilizzato.
I principali connettivi logici binari sono:
•
•
•
•
la congiunzione logica (AND)
la disgiunzione inclusiva (OR)
la disgiunzione esclusiva (XOR)
la negazione logica (NON)
LA CONGIUNZIONE LOGICA
La congiunzione logica è un connettivo logico (e), attraverso il quale, a partire da due proposizioni
A e B, si forma una nuova proposizione chiamata congiunzione di A e B o congiunzione di A et B
la quale è vera solo nel caso in cui, le due proposizione da cui è formata, A e B, sono vere,
mentre è falsa in tutti gli altri possibili casi.
A B A B
V V
V
V F
F
F V
F
F F
F
LA DISGIUNZIONE INCLUSIVA
La disgiunzione inclusiva è un connettivo logico (o, talvolta indicato come e/o), attraverso il quale,
a partire da due proposizioni A e B, si forma una nuova proposizione chiamata A o B oppure
la quale è vera solo nel caso in cui almeno una delle due proposizioni da cui è formata A e
B è vera mentre è falsa quando tutte e due sono false.
A B A B
V V
V
V F
V
F V
V
F F
F
1
LA DISGIUNZIONE ESCLUSIVA
La disgiunzione esclusiva "o" (simboli usuali: oppure xor) è un connettivo logico che restituisce
vero se, e solo se, uno degli operandi è vero, ma non entrambi (oppure: l'uscita è vera solo se gli
ingressi sono diversi).
A
B
F
F
F
F
V
V
V
F
V
V
V
F
A
B
LA NEGAZIONE LOGICA (NON)
In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il
valore di verità inverso di una proposizione.
Data una proposizione p si ha che ¬p è falsa se p è vera, ed è vera se p è falsa.
p
F V
V F
Properzi Chiara
Hrytsay Ania
3AM
2
