Logické výroky slovy
MUJDů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ě). Např. „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í. Např. „Pokud nemám eso, pak mám žolíka.“
- Negace tvrzení – Tvorba tvrzení s opačnou pravdivostní hodnotou. Např. „Není pravda, že mám eso i žolíka.“ → „Nemám eso nebo nemám žolíka.“
- Logické důsledky – Vyvozování logického zavěru z dvou výroků. Např. „Pokud mám eso, mám i žolíka. Mám eso. → Má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í.
Ovoce a zelenina: určování pravdivosti (lehké) • NNH
zadání: 46
Typicky zabere: 3 min

Ovoce a zelenina: určování pravdivosti (střední) • NNJ
zadání: 65
Typicky zabere: 4 min

Ovoce a zelenina: určování pravdivosti (těžké) • NNK
zadání: 38
Typicky zabere: 6 min

Bájná logika: určování pravdivosti (lehké) • MHV
zadání: 35
Typicky zabere: 5 min

Bájná logika: určování pravdivosti (střední) • NMK
zadání: 43
Typicky zabere: 4 min

Bájná logika: určování pravdivosti (těžké) • NML
zadání: 44
Typicky zabere: 6 min

Příšerky: určování pravdivosti (lehké) • NNE
zadání: 33
Typicky zabere: 3 min

Příšerky: určování pravdivosti (střední) • NNF
zadání: 43
Typicky zabere: 4 min

Příšerky: určování pravdivosti (těžké) • NNG
zadání: 39
Typicky zabere: 5 min

Příšerky: implikace a ekvivalence (střední) • NSV
zadání: 21
Typicky zabere: 3 min

Příšerky: implikace a ekvivalence (těžké) • NNZ
zadání: 41
Typicky zabere: 6 min

Ovoce a zelenina: implikace a ekvivalence (střední) • NOP
zadání: 56
Typicky zabere: 5 min

Ovoce a zelenina: implikace a ekvivalence (těžké) • NNX
zadání: 70
Typicky zabere: 8 min

Bájná logika: implikace a ekvivalence (střední) • NSW
zadání: 26
Typicky zabere: 5 min

Bájná logika: implikace a ekvivalence (těžké) • NN1
zadání: 25
Typicky zabere: 6 min

Negace tvrzení (lehké) • NPA
zadání: 49
Typicky zabere: 5 min

Negace tvrzení (střední) • MKB
zadání: 66
Typicky zabere: 7 min

Negace tvrzení (těžké) • NMD
zadání: 75
Typicky zabere: 7 min

Bájná logika: negace (těžké) • NN9
zadání: 43
Typicky zabere: 6 min

Logické důsledky (střední) • NOR
zadání: 38
Typicky zabere: 6 min

Logické důsledky (těžké) • NR6
zadání: 40
Typicky zabere: 5 min

Vyvozování z implikace a ekvivalence (střední) • NSX
zadání: 18
Typicky zabere: 5 min

Vyvozování z implikace a ekvivalence (těžké) • NOH
zadání: 29
Typicky zabere: 7 min

Krok po kroku
Doplňování jednotlivých kroků v rozsáhlejším postupu.
Přemýšlení o implikaci a ekvivalenci (střední) • NS7
zadání: 9
Typicky zabere: 5 min

Příšerky: implikace a ekvivalence (střední) • NS9
zadání: 10
Typicky zabere: 5 min

Ovoce a zelenina: implikace a ekvivalence (těžké) • NTD
zadání: 12
Typicky zabere: 5 min

Negace tvrzení (střední) • NS3
Typicky zabere: 5 min

Logické důsledky (střední) • NS2
zadání: 10
Typicky zabere: 5 min
