Birinin doğruluğu ötekinin yanlışlığını, aynı şekilde birinin yanlışlığı ötekinin doğruluğunu içeren önerme çifti mantıkta almaşıklık olarak tanımlanır
(Örneğin, "Madde bölünemez parçalardan oluşur ya da madde sonsuzca bölünebilir.", "Dünya yaratılmıştır veya Dünya ezelden beri vardır." Bir almaşıklığın iki önermesi arasında bir orta yoktur. Ayrıklık yargılarının temelinde de almaşıklık yatar).
(Örneğin, "Madde bölünemez parçalardan oluşur ya da madde sonsuzca bölünebilir.", "Dünya yaratılmıştır veya Dünya ezelden beri vardır." Bir almaşıklığın iki önermesi arasında bir orta yoktur. Ayrıklık yargılarının temelinde de almaşıklık yatar).
