Diśgiunsiòun lògica

Da Wikipedia.
C'l artìcul chè 'l è scrit in Carpśàn Emiliàn


Un diagràma 'd Venn in sìm'a na diśgiunsiòun cun du insèm.
Un diagràma 'd Venn in sìm'a na diśgiunsiòun cun tri insèm.

In dla lògica e in dla matemàtica, la diśgiunsiòun lògica o diśgiunsiòun incluśìva (disgiunzione logica o disgiunzione inclusiva in itagliàṅ), ch'a s lēś "o" o "vel" e la se scrìv "", l'è cal conetîv lògic ch'l unìs do propośisiòun A e B dala relasiòun , ch'a s lēś A o B o anca A vel B, indû la nóva propośisiòun l'è vera se anca sōl ûn di du elemèint 'l è véra, màinter ch'l'è fèlsa sōl se tùt e dū i elemèint i 'l în. In dla teorìa di insèm, la diśgiunsiòun la gh'à al stès comportamèint edl'uniòun.

In dl'àlgebra 'd Boole, al só uvradōr lògic 'l è "OR".

La só tabèla dla veritê l'è la seguàinta:

F F F
F V V
V F V
V V V

Proprietê

Proprietê 'd idempotèinsa

Proprietê comutatìva

Proprietê asociatìva

Proprietê distributìva

(rispêt ala congiunsiòun lògica)

Tiuréma 'd asorbimèint

(rispêt ala congiunsiòun lògica)

Lēś dal De Morgan



Vōś lighèdi

Noti e referèinsi