Legile lui De Morgan: definiție

Când negația intră în paranteză, ea neagă fiecare bucată și schimbă operatorul: ¬(p ∧ q) devine ¬p ∨ ¬q, iar ¬(p ∨ q) devine ¬p ∧ ¬q. Pe scurt: „nu amândouă” = „măcar una nu”, iar „nici una” = „nu prima și nu a doua”.

Exemplu: Negația propoziției „n este par sau divizibil cu 5” este „n nu este par și nu este divizibil cu 5”.

Vezi și: Propoziție logică, Reducerea la absurd