- Logické výroky slovyVšechny souhrny
- Určování pravdivosti
- Implikace a ekvivalence
- Negace tvrzení
Filtr podle ročníku
Cvičení
Důležitou součástí logického myšlení je schopnost určit, zda určitý výrok platí, nebo neplatí. Zde procvičujeme tuto dovednost se slovně zapsanými výroky. Toto téma je rozdělené na několik podtémat:
- Určování pravdivosti
- Zahrnuje výroky obsahující základní logické spojky (a, nebo, není), kvantifikátory (každý, některý) a nerovnosti (alespoň, nejvýše, stejně, různě).
- „Mám v ruce alespoň tři esa nebo právě jednoho žolíka.“
- Implikace a ekvivalence
- Výroky typu „pokud – pak“ a „právě tehdy, když“, které bývají méně intuitivní.
- „Pokud nemám eso, pak mám žolíka.“
- Negace tvrzení
- Tvorba tvrzení s opačnou pravdivostní hodnotou.
- „Není pravda, že mám eso i žolíka.“ → „Nemám eso nebo nemám žolíka.“
Určování pravdivosti výrazů s formálním značením si můžete procvičit v následujícím tématu nazvaném Logické výrazy.
Rozhodovačka
Rychlé procvičování výběrem ze dvou možností.
Logické výroky slovyOvoce a zelenina: určování pravdivostilehkéOvoce a zelenina: určování pravdivosti (lehké)
zadání: 43
Typicky zabere: 3 min
středníOvoce a zelenina: určování pravdivosti (střední)
zadání: 64
Typicky zabere: 4 min
těžkéOvoce a zelenina: určování pravdivosti (těžké)
zadání: 43
Typicky zabere: 7 min
Bájná logika: určování pravdivostilehkéBájná logika: určování pravdivosti (lehké)
zadání: 37
Typicky zabere: 6 min
středníBájná logika: určování pravdivosti (střední)
zadání: 44
Typicky zabere: 4 min
těžkéBájná logika: určování pravdivosti (těžké)
zadání: 40
Typicky zabere: 5 min
Příšerky: určování pravdivostilehkéPříšerky: určování pravdivosti (lehké)
zadání: 35
Typicky zabere: 3 min
středníPříšerky: určování pravdivosti (střední)
zadání: 41
Typicky zabere: 4 min
těžkéPříšerky: určování pravdivosti (těžké)
zadání: 38
Typicky zabere: 5 min
Ovoce a zelenina: implikace a ekvivalencestředníOvoce a zelenina: implikace a ekvivalence (střední)
zadání: 56
Typicky zabere: 5 min
těžkéOvoce a zelenina: implikace a ekvivalence (těžké)
zadání: 70
Typicky zabere: 8 min
Příšerky: implikace a ekvivalencetěžkéPříšerky: implikace a ekvivalence (těžké)
zadání: 43
Typicky zabere: 7 min
Bájná logika: implikace a ekvivalencetěžkéBájná logika: implikace a ekvivalence (těžké)
zadání: 46
Typicky zabere: 7 min
Vyvozování z implikace a ekvivalencetěžkéVyvozování z implikace a ekvivalence (těžké)
zadání: 41
Typicky zabere: 5 min
středníNegace tvrzení (střední)
zadání: 81
Typicky zabere: 7 min
těžkéNegace tvrzení (těžké)
zadání: 101
Typicky zabere: 8 min
Bájná logika: negacetěžkéBájná logika: negace (těžké)
zadání: 43
Typicky zabere: 5 min
NAPIŠTE NÁMDěkujeme za vaši zprávu, byla úspěšně odeslána.
Napište nám
Nevíte si rady?
Nejprve se prosím podívejte na časté dotazy:
Čeho se zpráva týká?
Vzkaz Obsah Ovládání Přihlášení LicenceZde nám můžete napsat vzkaz či popsat dojmy, jak se vám systém používá. Pokud máte nějakou zásadnější zprávu, zvolte prosím jednu z dalších kategorií.
Pokud hlásíte chybu, upřesněte prosím, v čem přesně spočívá. Pokud máte námět na rozšíření obsahu, uvítáme, když popíšete konkrétní ukázku. Nezasílejte prosím dotazy na prozrazení řešení úloh či na vysvětlení postupu.
Před položením dotazu prosím zkontrolujte časté dotazy.
Před položením dotazu si prosím projděte časté dotazy k přihlášení.
- Implikace a ekvivalence