Article on other languages:
- Connectiva_lògica
- Logisk_operator
- Junktor
- Λογικές_συναρτήσεις
- Logical_connective
- ادات_منطقی
- פעולה_בוליאנית
- Rökaðgerð
- 論理演算
- 논리_연산
- Логичка_операција
- Pengoperasi_logik
- Booleaanse_operator
- Funktor_zdaniotwórczy
- Логическая_операция
- Výroková_spojka
- Logisk_operator
- ตัวดำเนินการทางตรรกศาสตร์
- 逻辑运算符
 |
del.icio.us |
 |
Digg |
 |
Furl |
 |
|
 |
Rojo |
| Add to OnlyWire |
 |
Questa voce di matematica è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
|
 |
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 propoposizione 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 e, in latino "et", in inglese and, indicata con il simbolo
- la disgiunzione inclusiva o, in latino vel, in inglese or, indicata con il simbolo
- la disgiunzione esclusiva o, in latino aut, in inglese xor, indicata dal simbolo
- l'implicazione logica se ... allora ... indicata col simbolo
- la coimplicazione se e solo se indicata col simbolo
Spesso si annovera inoltre fra i connettivi logici la negazione logica "non", indicata con il simbolo 
la quale agisce però su un'unica proposizione.
Ognuna delle operazioni logiche suddette è efficacemente esplicata nella propria tavola di verità, la quale evidenzia i valori risultanti da tutte le possibili combinazioni esistenti fra le due proposizioni di partenza A e B, siano esse vere o false, utilizzando il connettivo dato.
