Srovnej si v hlavě, o jaký typ složeného výroku se jedná (konjunkce, disjunkce, implikace, ekvivalence) a co platí pro jejich negace. Ondra slibuje, že přijde právě tehdy, když přijde Helča. Kdy tento slib Ondra poruší?

Vidíš, že se jedná o ekvivalenci. Víš, že ekvivalence je vlastně konjunkce dvou implikací.

Negaci konjunkce tvoříš použitím disjunkce.

Negaci implikace tvoříš konjunkcí.

Takže negace ekvivalence bude disjunkce dvou konjunkcí.

1. konjunkce nastane v případě, kdy přijde Ondra, ale Helča nikoli.
2. konjunkce nastane v opačném případě, kdy přijde Helča sama bez Ondry.

Přijde Ondra a zároveň nepřijde Helča nebo přijde Helča a zároveň nepřijde Ondra.

Jestliže nastane alespoň jedna z těchto dvou konjunkcí, původní ekvivalence bude lež, a proto se jedná o negaci.

Přijde Ondra a zároveň nepřijde Helča nebo nepřijde Ondra a zároveň přijde Helča.

Spoj obě konjunkce spojkou „nebo“ a dostaneš negaci původního výroku.