Ayrık Şartlı Olumlu Önermeler (Kaziyye-i Şartiyye-i Munfasıle-i Mûcibe):Mukaddem ile tali arasında bir ayrılığın gerçekleşmesi ile olur. Örnek; "Ya gündüz olur yahut güneş batmış değildir." "Bu sayı, şu sayıya ya eşittir ya da değildir", önermeleri olumlu ayrık şartlı önermelerdir. Bu önermelerde mukaddem ve tali birbirini olumlu olarak yok etmektedir. Yani iki yargıdan yalnız biri doğrudur. |