Dokumen tersebut membahas tentang logika dan unsur-unsur dasarnya seperti kalimat, variabel, konstanta, pernyataan terbuka, kuantor, negasi, tabel kebenaran, pernyataan majemuk, silogisme, modus ponens dan modus tollens.Leia menos