In dla lògica, al conetîv lògic, ciamê anca uvradōr lògic (conettivo logico, operatore logico in itagliàṅ) 'l è 'n sìmbol o na paròla druèda per mèt'r insèm du o più propośisiòun A e B in dla manéra che la tersa frêś C ch'a in sèlta fóra, la gh'àpia 'l valōr ed veritê o 'd falsitê ch'a dipènd da 'l insèm di A + conetîv + B.
Dàint'r in dl'àlgebra 'd Boole, i conetîv lògic i s ciàmen anca "uvradōr booleàn".

I uvradōr lògic binàri più druê gl'ìn:

• la congiunsiòun lògica "e", in latèin "et", in dla lògica booleàna AND, scrìta col sìmbol ${\displaystyle \land }$
• la diśgiunsiòun lògica "o" (na quèlc vòlta ciamèda "e/o"), in latèin "vel", in dla lògica booleàna OR, scrìta col sìmbol ${\displaystyle \lor }$
• la diśgiunsiòun escluśìva "o" o "o... o...", in latino "aut", in dla lògica booleàna XOR, scrìta col sìmbol ${\displaystyle {\dot {\lor ))}$ o anca col ${\displaystyle \not \equiv }$
• l'implicasiòun lògica se ... allora ... indicata col simbolo ${\displaystyle \Rightarrow }$ o anca ${\displaystyle \supset }$
• la coimplicasiòun o dòpia implicasiòun se e sōl se , scrìta col sìmbol ${\displaystyle \Leftrightarrow }$ o anca ${\displaystyle \equiv }$

Despès, da mêś ai uvradōr lògic a s egh mèt anc la negasiòun, bèin che la n'sìa brìśa un conetîv per dagli operasiòun binàri, mo la descòra invéci in sìm'a sōl na propośisiòun.

Vōś lighèdi

• congiunsiòun lògica
• diśgiunsiòun escluśìva
• lògica booleàna

Noti e referèinsi

• (EN) Na spiegasiòun in dal sît MathWorld.