Muhalefet Kare , geleneksel mantık, bir kategorik önerme (dört formları sergileyen bir diyagram qv onların İkili ilişkilerle birlikte, aynı konu ve yüklemi) veya açıklamada,:
ki burada A, E, I, ve O formları olan “Her S olan P ” Hayır “ S olan P ”, “Bazı S olan P ve” bazı “ S değil , P. , kare gösterildiği gibi” "Her kuğu beyazdır", "Hiçbir kuğu beyaz değildir" in ve "Bazı kuğular beyaz değildir" ifadesinin çelişkisidir. Bu biçimlerden birinden diğerine (alt uluslarda olduğu gibi) çıkarılan sonuçların hemen çıkarımla elde edildiği söylenir.