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

Bloky a dosažený postup

Základní průchod S lehčím rozšířením S těžším rozšířením Vše

Seznam Náhledy

1. Logické výroky slovně: tematické sady

2. Logické výroky slovně: implikace, ekvivalence, negace

3. Logické výrazy a spojky

4. Logické úlohy s výroky I

5. Logické důsledky, vyvozování

6. Logické úlohy s výroky II

7. Logické úlohy s podmínkami

1. Logické výroky slovně: tematické sady
Rozhodovačka	Ovoce a zelenina: určování pravdivosti • lehké	lehčí rozšíření	Ovoce a zelenina: určování pravdivosti (lehké) • NNH Typicky zabere: 3 min
	Ovoce a zelenina: určování pravdivosti • střední		Ovoce a zelenina: určování pravdivosti (střední) • NNJ Typicky zabere: 4 min
	Příšerky: určování pravdivosti • lehké	lehčí rozšíření	Příšerky: určování pravdivosti (lehké) • NNE Typicky zabere: 3 min
	Příšerky: určování pravdivosti • střední		Příšerky: určování pravdivosti (střední) • NNF Typicky zabere: 3 min
	Bájná logika: určování pravdivosti • lehké	lehčí rozšíření	Bájná logika: určování pravdivosti (lehké) • MHV Typicky zabere: 5 min
	Bájná logika: určování pravdivosti • střední		Bájná logika: určování pravdivosti (střední) • NMK Typicky zabere: 4 min

2. Logické výroky slovně: implikace, ekvivalence, negace
Krok po kroku	Přemýšlení o implikaci a ekvivalenci • střední		Přemýšlení o implikaci a ekvivalenci (střední) • NS7 Typicky zabere: 12 min
	Příšerky: implikace a ekvivalence • střední		Příšerky: implikace a ekvivalence (střední) • NS9 Typicky zabere: 8 min
	Ovoce a zelenina: implikace a ekvivalence • těžké		Ovoce a zelenina: implikace a ekvivalence (těžké) • NTD Typicky zabere: 7 min
Rozhodovačka	Bájná logika: implikace a ekvivalence • střední		Bájná logika: implikace a ekvivalence (střední) • NSW Typicky zabere: 4 min
	Příšerky: implikace a ekvivalence • střední		Příšerky: implikace a ekvivalence (střední) • NSV Typicky zabere: 3 min
Krok po kroku	Negace tvrzení • střední		Negace tvrzení (střední) • NS3 Typicky zabere: 12 min
Rozhodovačka	Negace tvrzení • lehké	lehčí rozšíření	Negace tvrzení (lehké) • NPA Typicky zabere: 4 min
	Negace tvrzení • střední		Negace tvrzení (střední) • MKB Typicky zabere: 7 min

3. Logické výrazy a spojky
Souhrn tématu	Logické spojky a pravdivostní tabulky
Přesouvání	Zápis logických výrazů • lehké	lehčí rozšíření	Zápis logických výrazů (lehké) • NSS Typicky zabere: 4 min
	Zápis logických výrazů • střední		Zápis logických výrazů (střední) • NNW Typicky zabere: 4 min
	Logické spojky a pravdivostní tabulky • střední		Logické spojky a pravdivostní tabulky (střední) • MHJ Typicky zabere: 6 min
Krok po kroku	Vyhodnocování logických výrazů • střední		Vyhodnocování logických výrazů (střední) • NOJ Typicky zabere: 5 min
Rozhodovačka	Logické spojky a pravdivostní tabulky • lehké		Logické spojky a pravdivostní tabulky (lehké) • NST Typicky zabere: 3 min
Krok po kroku	Úpravy logických výrazů • střední		Úpravy logických výrazů (střední) • NOO Typicky zabere: 10 min
Binární křížovka	Trénink: logické spojky lehké		Trénink: logické spojky lehké • MA9
	Trénink: logické spojky střední		Trénink: logické spojky střední • NP3
	Logické výrazy: lehké		Logické výrazy: lehké • MBA

4. Logické úlohy s výroky I
Přesouvání	Einsteinovy hádanky • lehké	lehčí rozšíření	Einsteinovy hádanky (lehké) • NPN Typicky zabere: 4 min
	Řazení: ovoce • lehké	lehčí rozšíření	Řazení: ovoce (lehké) • NSN Typicky zabere: 4 min
	Řazení: dopravní prostředky • lehké		Řazení: dopravní prostředky (lehké) • NSA Typicky zabere: 4 min
	Hlavy robotů • střední		Hlavy robotů (střední) • N1B Typicky zabere: 4 min
	Zasedací pořádek • střední		Zasedací pořádek (střední) • N1M Typicky zabere: 4 min
	Bedny s poklady • střední		Bedny s poklady (střední) • N1H Typicky zabere: 5 min
	Obrázkové rovnice s podmínkami • střední		Obrázkové rovnice s podmínkami (střední) • NPP Typicky zabere: 6 min
	Padací piškvorky: pohled shora • střední		Padací piškvorky: pohled shora (střední) • NNV Typicky zabere: 4 min

5. Logické důsledky, vyvozování
Krok po kroku	Logické důsledky • střední		Logické důsledky (střední) • NS2 Typicky zabere: 11 min
Rozhodovačka	Logické důsledky • střední		Logické důsledky (střední) • NOR Typicky zabere: 5 min
	Logické důsledky • těžké		Logické důsledky (těžké) • NR6 Typicky zabere: 7 min
	Příšerky: vyvozování z implikace a ekvivalence • střední		Příšerky: vyvozování z implikace a ekvivalence (střední) • NSX Typicky zabere: 5 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é) • NND Typicky zabere: 12 min
	Řazení: ovoce • střední		Řazení: ovoce (střední) • NSO Typicky zabere: 7 min
	Řazení: dopravní prostředky • střední		Řazení: dopravní prostředky (střední) • NSB Typicky zabere: 6 min
	Zasedací pořádek • těžké		Zasedací pořádek (těžké) • N1N Typicky zabere: 6 min
	Einsteinovy hádanky • střední		Einsteinovy hádanky (střední) • NPO Typicky zabere: 5 min
	Obrázkové rovnice s podmínkami • těžké		Obrázkové rovnice s podmínkami (těžké) • NPC Typicky zabere: 12 min
	Poctivci a padouši • střední		Poctivci a padouši (střední) • MKN Typicky zabere: 9 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 4×4: těžší • MJV
	Sudoku 6×6		Sudoku 6×6 • MJW
Ploty	Rozcvička		Rozcvička • MJZ
	Základní		Základní • MJ1

Logické výroky a odvozování

Bloky a dosažený postup

Děkujeme za vaši zprávu, byla úspěšně odeslána.

Napište nám

Nevíte si rady?

Čeho se zpráva týká?

Logické výroky a odvozování

Bloky a dosažený postup

Ovoce a zelenina: určování pravdivosti (lehké) • NNH

Ovoce a zelenina: určování pravdivosti (střední) • NNJ

Příšerky: určování pravdivosti (lehké) • NNE

Příšerky: určování pravdivosti (střední) • NNF

Bájná logika: určování pravdivosti (lehké) • MHV

Bájná logika: určování pravdivosti (střední) • NMK

Přemýšlení o implikaci a ekvivalenci (střední) • NS7

Příšerky: implikace a ekvivalence (střední) • NS9

Ovoce a zelenina: implikace a ekvivalence (těžké) • NTD

Bájná logika: implikace a ekvivalence (střední) • NSW

Příšerky: implikace a ekvivalence (střední) • NSV

Negace tvrzení (střední) • NS3

Negace tvrzení (lehké) • NPA

Negace tvrzení (střední) • MKB

Zápis logických výrazů (lehké) • NSS

Zápis logických výrazů (střední) • NNW

Logické spojky a pravdivostní tabulky (střední) • MHJ

Vyhodnocování logických výrazů (střední) • NOJ

Logické spojky a pravdivostní tabulky (lehké) • NST

Úpravy logických výrazů (střední) • NOO

Trénink: logické spojky lehké • MA9

Trénink: logické spojky střední • NP3

Logické výrazy: lehké • MBA

Einsteinovy hádanky (lehké) • NPN

Řazení: ovoce (lehké) • NSN

Řazení: dopravní prostředky (lehké) • NSA

Hlavy robotů (střední) • N1B

Zasedací pořádek (střední) • N1M

Bedny s poklady (střední) • N1H

Obrázkové rovnice s podmínkami (střední) • NPP

Padací piškvorky: pohled shora (střední) • NNV

Logické důsledky (střední) • NS2

Logické důsledky (střední) • NOR

Logické důsledky (těžké) • NR6

Příšerky: vyvozování z implikace a ekvivalence (střední) • NSX

Padací piškvorky: pohled shora (těžké) • NND

Řazení: ovoce (střední) • NSO

Řazení: dopravní prostředky (střední) • NSB

Zasedací pořádek (těžké) • N1N

Einsteinovy hádanky (střední) • NPO

Obrázkové rovnice s podmínkami (těžké) • NPC

Poctivci a padouši (střední) • MKN

Sudoku 4×4: těžší • MJV

Sudoku 6×6 • MJW

Rozcvička • MJZ

Základní • MJ1

Děkujeme za vaši zprávu, byla úspěšně odeslána.

Napište nám

Nevíte si rady?

Čeho se zpráva týká?