altık—konusu ile yüklemi aynı olan, biri tümel olumlu, biri tikel olumlu; biri tümel olumsuz, biri tikel olumsuz iki önerme arasındaki bağlantı durumu, mütedahil