1. Existenční kvantifikátor značíme:
∀
∃
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:
x + 10 = 15
∃(x∈ℚ): x ≤ y
∀(x∈ℝ)∃(y∈ℝ): x + 10 = y
∃(x∈ℝ): x ≤ 15
5. Rozhodněte, která z následujících vět je pravdivý výrok:
Trojúhelník je pravoúhlý.
Každý trojúhelník je pravoúhlý.
Existuje trojúhelník, který není pravoúhlý.
6. Rozhodněte, které z daných zápisů lze považovat za nepravdivý výrok:
∀(x∈ℝ): x · 10 = 1
∀(x∈ℝ)∀(y∈ℝ): x + y = 20
∀(x∈ℝ)∃(y∈ℝ): x + y = 30
7. Negací výroku ∀(x∈ℝ): (x + 1 < x + 2) ∧ (x + 2 < x + 3) je:
∃(x∈ℝ): (x + 1 < x + 2) ∧ (x + 2 < x + 3)
∀(x∈ℝ): (x + 1 ≥ x + 2) ∨ (x + 2 ≥ x + 3)
∃(x∈ℝ): (x + 1 ≥ x + 2) ∨ (x + 2 ≥ x + 3)