Üldsuskvantor (universal quantifier)

- universaalsuskvantor, üldisuskvantor - kvantor , mille rakendamine predikaadile P annab lause, mis väidab, et predikaat P osutub tõeseks iga indiviidi korral: kirjutus tähendab "iga x korralP(x)". Näiteks lause

väidab, et mistahes nurga siinus on väiksem ühest või võrdne ühega.