Alasan kalimat “\(3 + x = 12\)” bukan merupakan pernyataan adalah karena kalimat tersebut memuat sebuah variabel. Bergantung pada nilai \(x\text{,}\) kalimat itu dapat bernilai benar atau salah, tetapi saat ini tidak bernilai keduanya. Salah satu cara untuk mengubah kalimat tersebut menjadi pernyataan adalah menentukan nilai variabelnya dengan suatu cara. Hal ini dapat dilakukan dengan menetapkan substitusi tertentu, misalnya “\(3+x = 12\) dengan \(x = 9\text{,}\)” yang merupakan pernyataan benar. Atau, Anda dapat mengikat variabel bebas tersebut dengan memberinya kuantor, seperti dalam “Untuk semua nilai \(x\text{,}\) \(3+x = 12\text{,}\)” yang bernilai salah. Kita akan membahas kuantor secara lebih terperinci dalam subbagian Kuantor dan Predikat di bawah ini.