Řekneš si, o jaký typ složeného výroku se jedná tentokrát (konjunkce, disjunkce, implikace, ekvivalence) a co platí pro jejich negace. Jde o výrok, ve kterém je slíbeno: „Jestliže přijde Míša, pak přijde i Evka.“ Uvědomíš si, kdy může být tento slib porušen.

Přijde Míša a zároveň nepřijde Evka.

Vidíš, že se jedná o implikaci. Víš, že je pravdivá ve 3 ze 4 možných situací, které mohou nastat. Nepravdivá je pouze v případě, kdy z pravdy plyne nepravda. Tato možnost nastane, pokud Míša přijde, ale Evka nikoli. Budeš tedy negovat konjunkcí, jež je pravdivá právě v 1 situaci ze 4 možných.

Pozor na past! Negace nebudeš tvořit pomocí spojek „Jestliže…, pak…“, ale spojuješ pouze spojkou „a“, popř. výrazem „a zároveň“.