Negassion

Stamp:Prinsipi La negassion a l'é n'operassion lògica, ëd sòlit denotà con ël sìmbol $\mathrm{\neg }$.
Ël sust ëd costa operassion a l'é che si aplicoma la negassion a na proposission p vera i otnoma na proposission $\mathrm{\neg }p$ fàussa, antramentre che s'i l'aplicoma a na proposission p fàussa i otnoma na proposission $\mathrm{\neg }p$ vera. Donca la negassion ëd na tautologìa a l'é na contradission e la negassion ëd na contradission a l'é na tautologìa.

Da na mira ansemìstica, l'operassion ëd negassion a corëspond a cola ëd complementassion (rispet a n'univers fissà). Stamp:Fin