Definisi 1.1.12. Kuantor.

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