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 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 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 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 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.
🍪 Setzen Sie Ihre Unsichtbarkeitstarnung ⚡
Willkommen in der magischen Welt der Cookies! 🧙♂️ Wir verwenden sie, um dir das beste Erlebnis zu bieten und um zu verstehen, wie du mit unserer App zauberst. Keine Sorge, diese Cookies sind nicht von Bertie's Beans 1000 Times Different - sie sind dafür da, dass alles magisch funktioniert, damit wir unsere App weiter verbessern können. Deine Einstellungen sind für uns wie ein Zauberstab - du kannst sie jederzeit nachträglich ändern. Klicke einfach auf den Link "Cookies bearbeiten 🍪" in der Fußzeile und zaubere die Einstellungen genau nach deinem Geschmack. Wenn Sie mehr darüber wissen wollen, wie wir Cookies verarbeiten, finden Sie es auf dieser Seite.