Kvantifikátory

Žáci správně užívají obecný a existenční kvantifikátor a překládají mezi slovní a symbolickou formulací tvrzení.

Průvodce tématem Kvantifikátory v předmětu Matematika pro I. ročník: co mají žáci zvládnout, na co navázat a kde nejčastěji chybují. K tomu příprava na hodinu, pracovní list nebo písemka, které ScioBot připraví na jedno kliknutí přesně pro tento ročník.

Připravit hodinu Všechny formáty

Klikněte a tvořte

Získejte přípravu zdarma

Vyberte formát. Jedním kliknutím otevřete tvorbu na téma Kvantifikátory (I. ročník) — ScioBot ho připraví za vás.

Připravit hodinu

Další formáty na jedno kliknutí

Téma i ročník jsou už vyplněné. Nic nepíšete — rovnou tvoříte.

Obecný kvantifikátor (∀, „pro všechna“) a existenční kvantifikátor (∃, „existuje“) doplňují výrokovou logiku o tvrzení o prvcích zvoleného oboru. Žák podle G-MAA-01-001 čte a zapisuje taková tvrzení v symbolickém jazyce a podle G-MAA-01-002 je správně užívá; jádrem hodiny je překlad mezi větou v běžném jazyce a zápisem s kvantifikátorem, predikátem a oborem (např. přirozená čísla, reálná čísla, konkrétní množina).

Kvantifikované tvrzení je pravdivé nebo nepravdivé teprve po upřesnění oboru. Obecný kvantifikátor vyvrátí jeden protipříklad; existenční potvrdí jeden vyhovující prvek a vyvrátí ukázka, že nevyhovuje žádný. Pořadí kvantifikátorů mění význam („ke každému x existuje y“ není totéž jako „existuje y platné pro všechna x“). Negace vymění kvantifikátor a neguje predikát: negací ∀x P(x) je ∃x ¬P(x), negací ∃x P(x) je ∀x ¬P(x).

Procvičení se váže na číselné obory a později na definice a věty: „každé prvočíslo větší než 2 je liché“, „existuje reálné číslo, jehož čtverec je 2“, „ke každému přirozenému n existuje prvočíslo větší než n“. Cílem je jistý převod slovo ↔ symbol a vědomé rozlišení, čím tvrzení potvrdit a čím vyvrátit.

Předpoklady

Klíčové pojmy

Obor kvantifikace
Množina, po jejíchž prvcích tvrzení probíhá; bez ní nelze rozhodnout pravdivost (stejná formulace na N a na R může dopadnout jinak).
Obecný kvantifikátor ∀
Tvrzení ∀x ∈ M: P(x) znamená, že predikát P platí pro každý prvek M; vyvrací ho jediný prvek z M, pro který P neplatí.
Existenční kvantifikátor ∃
Tvrzení ∃x ∈ M: P(x) znamená, že v M je alespoň jeden prvek splňující P; potvrzuje ho jeden takový prvek, vyvrací ho důkaz, že nevyhovuje žádný.
Predikát a volná proměnná
P(x) je výrok až po dosazení konkrétního x z oboru nebo po svázání kvantifikátorem; bez toho jde o otevřenou formuli, ne o tvrzení.
Pořadí kvantifikátorů
∀x ∃y P(x, y) dovoluje volit y podle x; ∃y ∀x P(x, y) vyžaduje jedno y společné všem x — významy se liší.
Negace kvantifikovaného tvrzení
¬(∀x P(x)) ↔ ∃x ¬P(x) a ¬(∃x P(x)) ↔ ∀x ¬P(x); nestačí nechat stejný kvantifikátor a jen připsat „ne“ k predikátu.
Překlad slovo ↔ symbol
„Každé / všechna / libovolné“ → ∀; „existuje / některé / alespoň jedno“ → ∃; „právě jedno“ je silnější než pouhé ∃ a v I. ročníku se odděluje od „alespoň jedno“.

Časté miskoncepce

  • Častá chyba

    Žák zapíše „Některá sudá čísla jsou dělitelná třemi“ jako ∀n ∈ sudá: 3 | n, protože ve větě vidí vlastnost sudých čísel obecně.

    Jak na to

    Nechte třídu ukázat protipříklad (číslo 2) a přepsat tutéž větu jako ∃n ∈ 2ℕ: 3 | n; vedle toho postavte pravdivé ∀ („každé sudé je dělitelné dvěma“) a nechte označit, která věta je která.

  • Častá chyba

    Negaci „Všechna prvočísla větší než 2 jsou lichá“ zapíše jako „Všechna prvočísla větší než 2 jsou sudá“ (nebo ∀ p: ¬liché).

    Jak na to

    Řekněte nahlas šablonu: negace „všechna jsou P“ je „existuje jedno, které není P“. Společně zapište ¬(∀p P(p)) jako ∃p ¬P(p) a ověřte na malé množině {2, 3, 4, 5}.

  • Častá chyba

    Žák prohlásí ∀x ∃y: y = x + 1 a ∃y ∀x: y = x + 1 za totéž, protože „v obou je plus jedna“.

    Jak na to

    Na tabuli dosazujte: v prvním smí y záviset na x (pro 3 vezměte 4, pro 10 vezměte 11); v druhém hledejte jedno y, které se rovná x + 1 pro všechna x — ukáže se, že takové y neexistuje.

  • Častá chyba

    U existenčního tvrzení žák považuje jeden nevyhovující prvek za vyvrácení („5 není sudé, takže neexistuje sudé číslo“).

    Jak na to

    Rozdělte tabuli na dva sloupce: ∀ se shazuje jedním protipříkladem, ∃ jedním příkladem obstojí. Stejnou množinu {1, 2, 3, 4} projděte s P(x): „x je sudé“ a nechte žáky říct, co tvrzení potvrzuje a co ho shazuje.

Jak učit

2–3 hodiny

  1. Evokace: žáci rozhodují pravdivost vět „každé prvočíslo je liché“ a „existuje sudé prvočíslo“ a řeknou, čím by je potvrdili nebo vyvrátili.
  2. Jádro: zavedete ∀ a ∃ s oborem, procvičíte překlad slovo ↔ symbol, pořadí kvantifikátorů a negaci na číslech a malých množinách.
  3. Reflexe: každý žák přepíše dvě věty (jednu ∀, jednu ∃) do symbolů a k jedné napíše správnou negaci včetně změny kvantifikátoru.

Nápady na aktivity

  • Karty tvrzení o N a R: dvojice třídí na ∀/∃, doplní obor a u nepravdivých uvede protipříklad nebo zdůvodní, že nevyhovuje žádný prvek.
  • Hra na pořadí: jedna skupina formuluje ∀x ∃y (soused, násobek, větší prvočíslo), druhá totéž s prohozenými kvantifikátory a třída rozhodne, která verze platí.

Hodnocení

Překlad čtyř vět (dvě slovní → symbol, dvě symbol → slovo) s uvedením oboru a označením pravdivosti s jedním potvrzením nebo protipříkladem.

Negace dvou kvantifikovaných tvrzení v symbolech i slovy; u jedné dvojice ∀x∃y / ∃y∀x krátké zdůvodnění, proč význam není stejný.

Související témata

Zdroje

Co pro vás ScioBot připraví k tématu Kvantifikátory

Interaktivní aktivity, které žáci spustí na tabletu či tabuli, tisknutelné kartičky a hry pro celou třídu – každý formát na téma Kvantifikátory jedním klikem.

Základní materiály

Interaktivní aktivity 14

K tisku a rozstříhání 8

Hry pro celou třídu 4

Očekávané výstupy

  • G-MAA-01-001 žák čte a zapisuje tvrzení v symbolickém jazyce matematiky
  • G-MAA-01-002 žák užívá správně logické spojky a kvantifikátory

Učíte Kvantifikátory trochu jinak?

Popište ScioBotu vlastními slovy, co s žáky chcete zvládnout a kolik máte času. Materiál přizpůsobí vašemu ŠVP, třídě i žákům se speciálními vzdělávacími potřebami.

Napsat ScioBotu

Související témata