4 Kvantori märgi taga peab alati olema näidatud ka muutuja, millele see kvantor rakendub, nt ∀x, seda võib lugeda nt „Iga x-i puhul …” või „Kõikide x-ide korral …”. Tänapäeval jäetakse üldisuskvantor sageli välja kirjutamata, st ∀xAx (kus Ax on unaarne predikaat) asemel kirjutatakse (x)Ax. Üldisuskvantori ∀ rakendamine unaarse predikaadi Px indiviidimuutujale x tekitab lause, mis ütleb, et igal muutuja x väärtusel (igal baashulga elemendil) on predikaadi P interpretatsiooniga kirjeldatud omadus Q (või kuuluvus predikaadi P tõehulka). Nt predikaat Ax – x on algarv, kus x∈ N (baashulgaks on naturaalarvude hulk). Üldisuskvantori ∀ rakendamisel predikaadi A muutujale x saame lause ∀x Ax, mida võiks lugeda „Iga naturaalarv on algarv” ehk „Kõik naturaalarvud on algarvud”. See üldjaatav lause on väär. Saare näites saame predikaadi Jx – Jüri armastab x-i indiviidimuutujale x üldisuskvantorit
4 Kvantori märgi taga peab alati olema näidatud ka muutuja, millele see kvantor rakendub, nt x, seda võib lugeda nt ,,Iga x-i puhul ..." või ,,Kõikide x-ide korral ...". Tänapäeval jäetakse üldisuskvantor sageli välja kirjutamata, st xAx (kus Ax on unaarne predikaat) asemel kirjutatakse (x)Ax. Üldisuskvantori rakendamine unaarse predikaadi Px indiviidimuutujale x tekitab lause, mis ütleb, et igal muutuja x väärtusel (igal baashulga elemendil) on predikaadi P interpretatsiooniga kirjeldatud omadus Q (või kuuluvus predikaadi P tõehulka). Nt predikaat Ax x on algarv, kus x N (baashulgaks on naturaalarvude hulk). Üldisuskvantori rakendamisel predikaadi A muutujale x saame lause x Ax, mida võiks lugeda ,,Iga naturaalarv on algarv" ehk ,,Kõik naturaalarvud on algarvud". See üldjaatav lause on väär. Saare näites saame predikaadi Jx Jüri armastab x-i indiviidimuutujale x üldisuskvantorit
annaabi.ee 
