Propośisiòun (lògica)

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

In dla lògica e in dla matemàtica, la propośisiòun (proposizione in itagliàṅ), l'è na frêś, na sentàinsa, ch'a s pōl dìr ch'l'è véra o minga, secònda un critéri obietîv", a dìr minga sogetîv.

Eśèimpi:

"Tunèin 'l è dimòndi élt" la nn'è minga na propośisiòn in dal sèins lògic, perché l'altèsa 'd Tunèin l'è relatìva, granda p'r ûn mo minga tant per 'n èter.
"Tunèin 'l è élt 1,90" l'è na propośisiòun lògica perchè a se prà catèr la manéra perfèta per vèder se Tunèin 'l è pròpia élt 1,90 o minga.

Dal propośisiòun, abrevièdi, i s pólen mèt'r insèm tra 'd lōr, cun di conetîv lògic, e rivèr pò a di ragiunamèint più complês:

Vōś lighèdi

àlgebra booleàna

Noti e referèinsi

(EN) Na spiegasiòun in dla réda.
(EN) Na spiegasiòun in dal sît MathWorld.

v · d · m Conetîv lògic
Tavtologìa $\top$
Uvradōr ed Sheffer $\uparrow$ • Implicasiòun convèrsa $\leftarrow$ • Implicasiòun lògica $\rightarrow$ • OR $\lor$
Negasiòun $\neg$ • XOR $\oplus$ • Bicondisionêl $\leftrightarrow$ • Dichiarasiòun
NOR $\downarrow$ • Minga implicasiòun $\nrightarrow$ • Abgiunsiòun convèrsa $\nleftarrow$ • AND $\land$
* Contradisiòun $\bot$