Co je to negace výroku?
Negace výroku je opět výrok, jehož pravdivostní hodnota je opačná oproti původnímu výroku. To znamená, že z pravdivého výroku uděláš jeho negací výrok nepravdivý a naopak. Negace výroku se značí symbolem " \neg " (v některých učebnicích jako „’ " apostrof či non), např. \neg v (popř. v^{\prime} či nonv).
Pro negaci výroku se používá buď záporný tvar slovesa (např. "Je to pravda." \rightarrow "Není to pravda."), anebo slovo opačného významu než je podstatné jméno ve výroku, tzv. antonymum (např. "Je to pravda." \rightarrow "Je to lež."). Existuje ještě třetí způsob, a to použití vazby "Není pravda, že“ (např. "Je to pravda." \rightarrow "Není pravda, že je to pravda.").
První možnost je nejčastější, protože ji lze používat u jakéhokoliv jednoduchého výroku. Druhý způsob je možné použít jen tehdy, když k podstatnému jménu existuje jednoznačné antonymum. Například u slova "rohlík" neexistuje slovo opačného významu (opak rohlíku by pravděpodobně mohla být houska, ale také bageta, veka apod.), tudíž výrok "Je to rohlík“ nelze druhým způsobem znegovat. Třetí způsob, tedy vazba "Není pravda, že“ se využívá jen zřídka, a proto se při řešení příkladů v této knize nebude používat.