Definisi 1.1.12. Kuantor. Kuantor universal ditulis \(\forall\) dan dibaca “untuk semua.” Kuantor eksistensial ditulis \(\exists\) dan dibaca “terdapat” atau “untuk suatu.”