Kvantifikátor: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot změnil: nl:Kwantor (logica) |
m link |
||
Řádek 1:
'''Kvantifikátory''' jsou symboly používané v [[matematika|matematice]] a [[logika|logice]] ([[predikátová logika|predikátové logice]]). Slouží pro vyjadřování míry přítomnosti dané vlastnosti ([[predikát (logika)|predikátu]]) v jisté třídě objektů. Rozlišují se dva základní druhy kvantifikátorů – [[univerzální kvantifikátor|univerzální]] (∀) s významem „pro každý“ a [[existenční kvantifikátor|existenční]] (∃) s významem „existuje“.
Kvantifikátor referuje vždy o celé dané [[Třída (matematika)|třídě]] objektů, což je významné zejména tehdy, je-li tato třída [[nekonečno|nekonečná]]. V takovém případě je totiž kvantifikátor nenahraditelný ostatními výrazovými prostředky logiky. Například větu: „Každé [[sudé číslo]] větší než 2 je [[součet|součtem]] dvou [[prvočíslo|prvočísel]]“ (viz [[Goldbachova hypotéza]]) nelze přeříkat jako: „Číslo 4 je součtem dvou prvočísel, číslo 6 je součtem dvou prvočísel, číslo 8 je…“, neboť zápis by byl nekonečný.
== Zobecnění ==
| |||