Moduly: úvod Přehled po ročnících Přehled učiva Přehled pokrytí RVP Přehled výsledků učení

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í	Určí pravdivost výroků a správně formuluje jejich negaci. Rozliší a správně použije základní logické spojky (a, nebo, ne, jestliže – pak, „právě tehdy, když“). Vyhodnotí složený logický výraz pomocí pravdivostních tabulek. Systematicky zanalyzuje zadání a vyvodí logické důsledky. Vyřeší logické úlohy a hádanky s využitím logického uvažování a odvozování.
Související RVP výsledky učení	KRP-RPS-000-ZV9-001 Reflektuje osobní a společné problémy s ohledem na různé perspektivy navrhovaných řešení. ZGM-MUV-000-ZV9-001 Aplikuje metody analýzy a syntézy při řešení komplexních matematických situací v různých kontextech. INF-INF-002-ZV9-007 V blokově orientovaném programovacím jazyce vytvoří přehledný program, používá opakování, větvení programu, proměnné.

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í.