Nevadí, že je tam neznámá x, protože úpravou (odečtením x od obou stran) dostaneš 3 = – 3, tedy původní výrok je pravdivý.

Negací je vše, co není obsaženo v původním výroku.

Rovnice x + 3 = x – 3 má aspoň jedno řešení.

Negace je pak v tomto případě výrok, který je nepravdivý.