obecný kvantifikátor
Generalizátor, kvantor – přeměna výrokové funkce v kvantitativně určený obecný výrok vázáním volně se vyskytujících proměnných obecným kvantifikátorem, jehož symbol je (∀x), kde x je proměnná.
Vytvořeno:
14. 3. 2000
Aktualizováno:
4. 10. 2007
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!