Negace složených výroků

Negaci složeného výroku určujeme podle toho, kdy je původní výrok nepravdivý; u spojení „a“, „nebo“, implikace a ekvivalence proto postupujeme odlišně.