Untuk itu, kita perlu mempertimbangkan jenis kalimat dasar baru yang disebut predikat, yang menyerupai pernyataan tetapi memuat variabel bebas. Ketika Anda mengganti variabel tersebut dengan suatu konstanta, kalimat itu menjadi pernyataan yang sesungguhnya. Anggaplah predikat sebagai klaim tentang nilai-nilai yang disubstitusikan untuk variabel “penampung” tersebut.