generalizovaná věta
generalizovaná věta, log . věta obsahující alespoň jeden obecný kvantifikátor. Je-li obor proměnnosti individuových proměnných konečný, lze g. v. interpretovat jako konečnou konjunkci singulárních vět; pro nekonečný obor proměnnosti to neplatí.
