Dokumen ini membahas tentang proposisi disyungtif dalam logika. Proposisi disyungtif terdiri dari dua proposisi kategorik yang dihubungkan oleh kopula seperti "jika-maka", "atau". Ada dua bentuk proposisi disyungtif, yaitu sempurna dengan alternatif kontradiktif dan tidak sempurna dengan alternatif non-kontradiktif.