Kalimat Berkuantor (Pengayaan)

Suatu kalimat terbuka dapat diubah menjadi pernyataan jika variabel dari kalimat
tersebut disubstitusikan dengan suatu konstanta tertentu.
Misalnya:
Kalimat terbuka x + 4 = 3 untuk x R.
Jika x = -1, maka kalimat terbuka tersebut menjadi suatu pernyataan yang bernilai
benar.
Jika x = 2, maka kalimat terbuka tersebut menjadi suatu pernyataan yang bernilai
salah.
Cara lain untuk mengubah kalimat terbuka menjadi suatu pernyataan adalah dengan
menggunakan kuantor.
Terdapat dua jenis kuantor, yaitu
a. Kuantor universal
b. Kuantor eksistensial