Mi a negáció? Legyen P és Q két állítás! Bizonyítsa be, hogy \neg(P\land Q) = \neg P \lor \neg Q!

A negáció egyváltozós művelet. Egy A kijelentés negációja \neg{A} a “nem igaz, hogy A” kijelentést, vagyis A tagadását jelenti.

Fontos összefüggés a diszjunkció és a konjunkció között: \neg(P\land Q) = \neg P \lor \neg Q