Kvantifikátory
Rozhodni, či je výrok o množine M pravdivý.
M = {}
Každé číslo z množiny M je párne.
Zápis: ∀x ∈ M: x je párne
∀ pre každé · ∃ existuje · ∈ patrí do množiny
Kvantifikátor hovorí, pre koľko prvkov má výrok platiť. „Každé číslo“ znamená všetky bez výnimky, „existuje číslo“ znamená aspoň jedno, „žiadne číslo“ znamená ani jedno. V zápise sa používa ∀ (pre každé) a ∃ (existuje).
Čo tento generátor robí?
Vytvorí množinu M s piatimi alebo šiestimi číslami a výrok s kvantifikátorom. Na ľahkej úrovni sú to „každé“, „existuje“ a „žiadne“, na strednej pribudnú „aspoň“, „najviac“ a „práve“, na ťažkej aj zápis so symbolmi ∀ a ∃.
Ako ho používať
1) Prejdi všetky čísla z množiny M a označ si tie, ktoré majú danú vlastnosť. 2) Spočítaj ich. 3) Porovnaj s kvantifikátorom: „každé“ = všetky, „existuje“ = aspoň jedno, „žiadne“ = ani jedno, „aspoň dve“ = dve alebo viac.