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

Zobrazit i lehčí rozšíření

Zobrazit i těžší rozšíření

Seznam Náhledy

1. Logické výroky slovně: tematické sady Splněno základních cvičení: 0/3

Tento blok doporučujeme řešit.

2. Logické výroky slovně: implikace, ekvivalence, negace Splněno základních cvičení: 0/7

3. Logické výrazy a spojky Splněno základních cvičení: 0/8

4. Logické úlohy s výroky I Splněno základních cvičení: 0/6

5. Logické důsledky, vyvozování Splněno základních cvičení: 0/4

6. Logické úlohy s výroky II Splněno základních cvičení: 0/7

7. Logické úlohy s podmínkami Splněno základních cvičení: 0/4

1. Logické výroky slovně: tematické sady
Rozhodovačka	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 • střední	Příšerky: určování pravdivosti (střední) • NNF Typicky zabere: 3 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: 11 min
Rozhodovačka	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ů • 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: 11 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í	Ř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: 10 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: 8 min
	Příšerky: vyvozování z implikace a ekvivalence • střední	Příšerky: vyvozování z implikace a ekvivalence (střední) • NSX Typicky zabere: 4 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 (střední) • NNJ

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

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í (střední) • MKB

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

Ř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á?