Conetîv lògic

Da Wikipedia.
C'l artìcul chè 'l è scrit in Carpśàn Emilià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
  • 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
  • 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 o anca col
  • l'implicasiòun lògica se ... allora ... indicata col simbolo o anca
  • la coimplicasiòun o dòpia implicasiòun se e sōl se , scrìta col sìmbol o anca

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