Conetîv lògic

C'l artìcol chè 'l è scrit in Carpśàn

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 $\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 $\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 ${\dot {\lor }}$ o anca col $\not \equiv$
l'implicasiòun lògica se ... allora ... indicata col simbolo $\Rightarrow$ o anca $\supset$
la coimplicasiòun o dòpia implicasiòun se e sōl se , scrìta col sìmbol $\Leftrightarrow$ o anca $\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

Noti e referèinsi

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