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 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 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á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.
🍪 Set your invisibility cloak ⚡
Welcome to the magical world of cookies! 🧙♂️ We use them to give you the best experience and to understand how you make magic with our app. Don't worry, these cookies aren't from Bertie's Beans 1000 Times Different - they're here to make everything work magically so we can keep improving our app. Your preferences are like a magic wand to us - you can change them anytime afterwards. Just click on the link in the footer called "Edit Cookies 🍪" and conjure up the settings exactly to your liking. If you want to know more about how we process cookies, you can find it on this page.