Čo je to negácia výroku?
Negácia výroku je opäť výrok, ktorého pravdivostná hodnota je opačná oproti pôvodnému výroku. To znamená, že z pravdivého výroku urobíš jeho negáciu, výrok nepravdivý a naopak. Negácia výroku sa označuje symbolom „¬" (v niektorých učebniciach ako „'“ apostrof alebo non), napr.. \( \neg \mathrm{V} \) (prípadne V' alebo nonV).
Pre negáciu výroku sa používa bude záporný tvar slovesa (napr. „Je to pravda.“ \( \rightarrow \) „Nie je to pravda."), alebo slovo opačného významu než je podstatné meno vo výroku, tzv. antonymum (napr. "Je to pravda." \( \rightarrow \) "Je to lož."). Existuje ešte tretí spôsob, a to použitie väzby „Nie je pravda, že... “ (napr. „Je to pravda." \( \rightarrow \) "Nie je pravda, že je to pravda.“).
Prvá možnosť je najčastejšia, pretože sa dá použiť pri akomkoľvek jednoduchom výroku. Druhý spôsob je možné použiť vtedy, keď k podstatnému menu existuje jednoznačné antonymum. Napríklad pri slove „rožok“ neexistuje slovo opačného významu (opak rožka by pravdepodobne mohla byť žemľa, alebo taká bageta, veka a pod.), teda výrok „Je to rožok“ sa nedá iným spôsobom negovať. Tretí spôsob, teda väzba „Nie je pravda, že...“, sa využíva len zriedkavo, a preto sa pri riešení príkladov v tejto knihe nebude používať.