Logické výroky a odvozování
| Typický ročník | 8. |
| Interval vhodných ročníků | 7.–9. |
| Učivo | logické výroky a pravdivost, negace, implikace, ekvivalence, logické spojky a pravdivostní tabulky, zápis a vyhodnocování logických výrazů, dedukce a vyvozování důsledků, logické hádanky a úlohy s podmínkami |
| Předcházející modul | Blokové programování II (podmínky, ladění) |
| Navazující modul | Shrnutí blokového programování a ukázka Pythonu |
| Bezprostřední výsledky učení |
|
| Související RVP výsledky učení |
|
Tento modul rozvíjí schopnost systematického a logického uvažování prostřednictvím práce s výroky, logickými spojkami a jednoduchými formami dedukce. Žáci se naučí určovat pravdivost výroků, pracovat s jejich negacemi, rozumět významu spojek jako „a“, „nebo“, „jestliže – pak“ a aplikovat tyto znalosti při řešení úloh i v běžném jazykovém kontextu. Modul rozvíjí logicko-matematickou gramotnost a zároveň připravuje půdu pro koncepční používání podmínek a větvení v programování.
| 1. Logické výroky slovně: tematické sady | |||
| Čistě slovní zadání (bez použití formální notace), sady zadání vždy z jednoho prostředí. | |||
 Rozhodovačka | Ovoce a zelenina: určování pravdivosti • lehké |  Ovoce a zelenina: určování pravdivosti • lehkéTypicky zabere: 3 min  | |
| Ovoce a zelenina: určování pravdivosti • střední | Ovoce a zelenina: určování pravdivosti • středníTypicky zabere: 4 min  | ||
| Ovoce a zelenina: určování pravdivosti • těžké | Ovoce a zelenina: určování pravdivosti • těžkéTypicky zabere: 6 min  | ||
| Bájná logika: určování pravdivosti • lehké | Bájná logika: určování pravdivosti • lehkéTypicky zabere: 5 min  | ||
| Bájná logika: určování pravdivosti • střední | Bájná logika: určování pravdivosti • středníTypicky zabere: 4 min  | ||
| Bájná logika: určování pravdivosti • těžké | Bájná logika: určování pravdivosti • těžkéTypicky zabere: 5 min  | ||
| Příšerky: určování pravdivosti • lehké | Příšerky: určování pravdivosti • lehkéTypicky zabere: 3 min  | ||
| Příšerky: určování pravdivosti • střední | Příšerky: určování pravdivosti • středníTypicky zabere: 3 min  | ||
| Příšerky: určování pravdivosti • těžké | Příšerky: určování pravdivosti • těžkéTypicky zabere: 5 min  | ||
| 2. Logické výroky slovně: implikace, ekvivalence, negace | |||
| Stále čistě slovní zadání, teď už ale s důrazem na použití logických operací, které nejsou úplně snadné. | |||
 Krok po kroku | Přemýšlení o implikaci a ekvivalenci • střední | Přemýšlení o implikaci a ekvivalenci • středníTypicky zabere: 9 min  | |
| Příšerky: implikace a ekvivalence • střední | Příšerky: implikace a ekvivalence • středníTypicky zabere: 6 min  | ||
| Ovoce a zelenina: implikace a ekvivalence • těžké | Ovoce a zelenina: implikace a ekvivalence • těžkéTypicky zabere: 5 min  | ||
| Rozhodovačka | Příšerky: implikace a ekvivalence • střední | Příšerky: implikace a ekvivalence • středníTypicky zabere: 3 min  | |
| Příšerky: implikace a ekvivalence • těžké | Příšerky: implikace a ekvivalence • těžkéTypicky zabere: 6 min  | ||
| Ovoce a zelenina: implikace a ekvivalence • střední | Ovoce a zelenina: implikace a ekvivalence • středníTypicky zabere: 5 min  | ||
| Ovoce a zelenina: implikace a ekvivalence • těžké | Ovoce a zelenina: implikace a ekvivalence • těžkéTypicky zabere: 8 min  | ||
| Bájná logika: implikace a ekvivalence • střední | Bájná logika: implikace a ekvivalence • středníTypicky zabere: 3 min  | ||
| Bájná logika: implikace a ekvivalence • těžké | Bájná logika: implikace a ekvivalence • těžkéTypicky zabere: 6 min  | ||
| Krok po kroku | Negace tvrzení • střední | Negace tvrzení • středníTypicky zabere: 9 min  | |
| Rozhodovačka | Negace tvrzení • lehké | Negace tvrzení • lehkéTypicky zabere: 5 min  | |
| Negace tvrzení • střední | Negace tvrzení • středníTypicky zabere: 7 min  | ||
| 3. Logické výrazy a spojky | |||
 Souhrn tématu | Logické spojky a pravdivostní tabulky | ||
| Rozhodovačka | Logické spojky a pravdivostní tabulky • lehké | Logické spojky a pravdivostní tabulky • lehkéTypicky zabere: 3 min  | |
| Logické spojky a pravdivostní tabulky • střední | Logické spojky a pravdivostní tabulky • středníTypicky zabere: 7 min  | ||
 Přesouvání | Logické spojky a pravdivostní tabulky • střední | Logické spojky a pravdivostní tabulky • středníTypicky zabere: 6 min  | |
| Logické spojky a pravdivostní tabulky • těžké | Logické spojky a pravdivostní tabulky • těžkéTypicky zabere: 5 min  | ||
| Zápis logických výrazů • lehké | Zápis logických výrazů • lehkéTypicky zabere: 4 min  | ||
| Zápis logických výrazů • střední | Zápis logických výrazů • středníTypicky zabere: 4 min  | ||
| Krok po kroku | Vyhodnocování logických výrazů • střední | Vyhodnocování logických výrazů • středníTypicky zabere: 5 min  | |
| Úpravy logických výrazů • střední | Úpravy logických výrazů • středníTypicky zabere: 9 min  | ||
 Binární křížovka | Trénink: logické spojky lehké |
| |
| Logické výrazy: lehké |
| ||
| Trénink: logické spojky střední |
| ||
| Logické výrazy: střední |
| ||
| 4. Logické úlohy s výroky I | |||
| Přesouvání | Zasedací pořádek • lehké | Zasedací pořádek • lehkéTypicky zabere: 6 min  | |
| Bedny s poklady • lehké | Bedny s poklady • lehkéTypicky zabere: 7 min  | ||
| Obrázkové rovnice s podmínkami • lehké | Obrázkové rovnice s podmínkami • lehkéTypicky zabere: 5 min  | ||
| Obrázkové rovnice s podmínkami • střední | Obrázkové rovnice s podmínkami • středníTypicky zabere: 6 min  | ||
| Hlavy robotů • lehké | Hlavy robotů • lehkéTypicky zabere: 5 min  | ||
| Padací piškvorky: pohled shora • střední | Padací piškvorky: pohled shora • středníTypicky zabere: 4 min  | ||
| 5. Logické důsledky, vyvozování | |||
| Krok po kroku | Logické důsledky • střední | Logické důsledky • středníTypicky zabere: 5 min  | |
| Rozhodovačka | Vyvozování z implikace a ekvivalence • střední | Vyvozování z implikace a ekvivalence • středníTypicky zabere: 3 min  | |
| Vyvozování z implikace a ekvivalence • těžké | Vyvozování z implikace a ekvivalence • těžkéTypicky zabere: 7 min  | ||
| Logické důsledky • střední | Logické důsledky • středníTypicky zabere: 5 min  | ||
| Logické důsledky • těžké | Logické důsledky • těžkéTypicky zabere: 6 min  | ||
| 6. Logické úlohy s výroky II | |||
| Přesouvání | Padací piškvorky: pohled shora • těžké | Padací piškvorky: pohled shora • těžkéTypicky zabere: 9 min  | |
| Řazení: ovoce • lehké | Řazení: ovoce • lehkéTypicky zabere: 4 min  | ||
| Řazení: ovoce • střední | Řazení: ovoce • středníTypicky zabere: 7 min  | ||
| Řazení: ovoce • těžké | Řazení: ovoce • těžkéTypicky zabere: 8 min  | ||
| Řazení: dopravní prostředky • lehké | Řazení: dopravní prostředky • lehkéTypicky zabere: 5 min  | ||
| Řazení: dopravní prostředky • střední | Řazení: dopravní prostředky • středníTypicky zabere: 5 min  | ||
| Řazení: dopravní prostředky • těžké | Řazení: dopravní prostředky • těžkéTypicky zabere: 5 min  | ||
| Einsteinovy hádanky • lehké | Einsteinovy hádanky • lehkéTypicky zabere: 4 min  | ||
| Einsteinovy hádanky • střední | Einsteinovy hádanky • středníTypicky zabere: 5 min  | ||
| Einsteinovy hádanky • těžké | Einsteinovy hádanky • těžkéTypicky zabere: 10 min  | ||
| Obrázkové rovnice s podmínkami • těžké | Obrázkové rovnice s podmínkami • těžkéTypicky zabere: 12 min  | ||
| Poctivci a padouši • střední | Poctivci a padouši • středníTypicky zabere: 8 min  | ||
 Pracovní list | Poctivci a padouši: dvojice | ||
| Poctivci a padouši: trojice | |||
| 7. Logické úlohy s podmínkami | |||
 Barevné sudoku | Sudoku 4×4: těžší |
| |
| Sudoku 6×6 |
| ||
 Ploty | Rozcvička |
| |
| Základní |
| ||
| Náročnější |
| ||
| 8. Bonusové náročnější úlohy | |||
| Rozhodovačka | Logické spojky a pravdivostní tabulky • těžké | Logické spojky a pravdivostní tabulky • těžkéTypicky zabere: 6 min  | |
| Binární křížovka | Logické výrazy: těžké |
| |
 Pexeso | Logické výrazy: mix • střední | Logické výrazy: mix • středníTypicky zabere: 7 min  | |
| Binární křížovka | Křížovky: těžké |
| |
| Křížovky: opravdová výzva |
|
