generalizovaná věta
Logika, věta obsahující alespoň jeden obecný kvantifikátor. Je-li obor proměnnosti individuových proměnných konečný, lze generalizovanou větu interpretovat jako konečnou konjunkci singulárních vět; pro nekonečný obor proměnnosti to neplatí.
Vytvořeno:
14. 3. 2000
Aktualizováno:
9. 10. 2006
Autor: -red-
Vyzkoušejte si s přáteli Kvízy encyklopedie CoJeCo.cz!