Bu dersin amacı bir önceki dönemde öğrenilen önermeleri kullanarak benzer teoremleri yüklemler mantığı için de kullanabilmektir.

Niceleyiciler, yüklemler mantığı için diler, Tarski’nin doğruluk tanımı, Yüklemler mantığı için bütünsüzlük teoremleri.