Dokumen tersebut membahas tentang logika matematika khususnya kalkulus proposisi. Kalkulus proposisi adalah metode untuk menghitung nilai kebenaran proposisi menggunakan penghubung logika seperti konjungsi, disjungsi, negasi, implikasi dan ekuivalensi. Dokumen juga menjelaskan tentang proposisi primitif, majemuk, tautologi dan kontradiksi beserta contoh soalnya.