Negace výroků
Neguj výroky:
Ondra přijde právě tehdy, když přijde Helča.
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 disjunkci. Víš, že disjunkce je vlastně konjunkce dvou implikací.
Negaci konjunkce tvoříš použitím implikace.
Negaci implikace tvoříš disjunkcí.
Takže negace disjunkce bude implikace dvou disjunkcí.
implikace nastane v případě, kdy přijde Ondra, ale Helča nikoli.
implikace nastane v opačném případě, kdy přijde Helča sama bez Ondry.
Přijde Ondra a zároveň
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í.
konjunkce nastane v případě, kdy přijde Ondra, ale Helča nikoli.
konjunkce nastane v opačném případě, kdy přijde Helča sama bez Ondry.
Přijde Ondra a z
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 konjunkci. Víš, že konjunkce je vlastně disjunkce dvou implikací.
Negaci disjunkce tvoříš použitím implikace.
Negaci implikace tvoříš konjunkcí.
Takže negace konjunkce bude implikace dvou konjunkcí.
implikace nastane v případě, kdy přijde Ondra, ale Helča nikoli.
implikace nastane v opačném případě, kdy přijde Helča sama bez Ondry.
Přijde Ondra a zároveň
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 implikaci. Víš, že implikace je vlastně disjunkce dvou negací.
Negaci disjunkce tvoříš použitím konjunkce.
Negaci implikace tvoříš disjunkcí.
Takže negace implikace bude konjunkce dvou disjunkcí.
disjunkce nastane v případě, kdy přijde Ondra, ale Helča nikoli.
disjunkce nastane v opačném případě, kdy přijde Helča sama bez Ondry.
Přijde Ondra a zároveň ne
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í.
- konjunkce nastane v případě, kdy přijde Ondra, ale Helča nikoli.
- 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.
🍪 Nastav si svůj neviditelný plášť ⚡
Vítej v kouzelném světě cookies! 🧙♂️ Používáme je, abychom ti přinesli ten nejlepší zážitek a pochopili, jak s naší aplikací kouzliš. Neboj, tyto sušenky nejsou z Bertíkových fazolek 1000x jinak - jsou tu, aby vše kouzelně fungovalo a my mohli naši aplikaci neustále vylepšovat. Tvé preference jsou pro nás jako kouzelná hůlka - můžeš je kdykoli poté změnit. Stačí kliknout na odkaz v patičce s názvem “Upravit cookies 🍪” a vykouzlit si nastavení přesně podle svých představ. Pokud chceš vědět více informací o zpracování cookies, najdeš je na této stránce.