Квадрат опозиції , в традиційній логіці, схема, що відображає чотири форми категоричного судження ( qv ) або твердження, з однаковим суб’єктом і присудком, разом із їх попарними зв’язками:
в якій A, E, I та O мають форми «Кожне S - P », «Ні S - P », «Деякі S - P » та «Деякі S - це не P. » Як показано на квадраті, "Кожен лебідь білий" - це протилежність "Жоден лебідь не білий" і суперечливість "Деякі лебеді не білі". Висновки, зроблені з однієї з цих форм в іншу (як при сультернації), як кажуть, отримуються безпосереднім висновком.
