Portál středoškolské matematiky
1. Existenční kvantifikátor značíme:
\(\forall\)
\(\exists\)
Jinak.
2. Obecný kvantifikátor obvykle čteme:
„Pro každé…“
„Existuje…“
3. Které z následujících vět lze považovat za výrok:
Letadlo právě letí do Bratislavy.
Existuje letadlo, které právě letí do Bratislavy.
Existuje helikoptéra, která právě letí do Bratislavy.
Existuje letadlo, které právě neletí do Bratislavy.
4. Rozhodněte, které z daných zápisů lze považovat za výrok:
\(\forall (x \in \mathbb{R})\): \(x\) + 10 = 15
\(\exists (x \in \mathbb{Q})\): \(x\) ≤ 15
\(\forall (x \in \mathbb{R})\): \(x\) + 10 = \(y\)
\(x\) ≤ 15
5. Rozhodněte, která z následujících vět je pravdivý výrok:
Každé racionální číslo je i číslem reálným.
Existuje racionální číslo, které je i číslem reálným.
Existuje racionální číslo, které není číslem reálným.
6. Rozhodněte, které z daných zápisů lze považovat za nepravdivý výrok:
\(\forall (x \in \mathbb{R})\): \(x\) · 10 = 1
\(\forall (x \in \mathbb{R})\)\(\forall (y \in \mathbb{R})\): \(x\) + \(y\) = 20
\(\forall (x \in \mathbb{R})\)\(\exists (y \in \mathbb{R})\): \(x\) + \(y\) = 30
7. Negace výroku \(\forall (n \in \mathbb{N})\): 2\(∤\)\(n\) \(\Rightarrow\) 2\(\mid\)(\(n\) + 1) je:
\(\forall (n \in \mathbb{N})\): 2\(∤\)(\(n\) + 1) \(\Rightarrow\) 2\(\mid\)\(n\)
\(\exists (n \in \mathbb{N})\): 2\(∤\)\(n\) \(\wedge\) 2\(∤\)(\(n\) + 1)
\(\exists (n \in \mathbb{N})\): 2\(∤\)\(n\) \(\Rightarrow\) 2\(\mid\)(\(n\) + 1)
