Dokumen ini membahas empat jenis proposisi dalam logika, yaitu proposisi universal afirmatif, proposisi universal negatif, proposisi partikular afirmatif, dan proposisi partikular negatif. Setiap jenis proposisi didefinisikan dengan rumusan dan contoh yang menjelaskan hubungan antara subjek dan predikat. Proposisi dikategorikan berdasarkan sifatnya, apakah mengiyakan atau mengingkari hubungan antara subjek dengan predikat.