Kvantifikátory
Rozhodni, zda je výrok o množině M pravdivý.
M = {}
Každé číslo z množiny M je sudé.
Zápis: ∀x ∈ M: x je sudé
∀ pro každé · ∃ existuje · ∈ patří do množiny
Kvantifikátor říká, pro kolik prvků má výrok platit. „Každé číslo“ znamená všechna bez výjimky, „existuje číslo“ znamená aspoň jedno, „žádné číslo“ znamená ani jedno. V zápisu se používá ∀ (pro každé) a ∃ (existuje).
Co tento generátor dělá?
Vytvoří množinu M s pěti nebo šesti čísly a výrok s kvantifikátorem. Na lehké úrovni jde o „každé“, „existuje“ a „žádné“, na střední přibudou „alespoň“, „nejvýše“ a „právě“, na těžké i zápis se symboly ∀ a ∃.
Jak ho používat
1) Projdi všechna čísla z množiny M a označ si ta, která mají danou vlastnost. 2) Spočítej je. 3) Porovnej s kvantifikátorem: „každé“ = všechna, „existuje“ = aspoň jedno, „žádné“ = ani jedno, „alespoň dvě“ = dvě nebo víc.