Dokumen ini membahas tentang dasar-dasar logika khususnya proposisi kategorik. Proposisi kategorik adalah proposisi yang mengandung pernyataan tanpa syarat dan terdiri atas subjek, predikat, kopula, dan kuantitas. Terdapat 6 jenis proposisi kategorik yakni universal positif, partikular positif, singular positif, universal negatif, partikular negatif, dan singular negatif.