Hình vuông đối lập , theo logic truyền thống, một biểu đồ thể hiện bốn dạng của mệnh đề phân loại ( qv ), hoặc câu lệnh, với cùng một chủ ngữ và vị ngữ, cùng với các mối quan hệ theo cặp của chúng:
trong đó A, E, I và O có dạng “Mọi S là P, ” “Không S là P, ” “Một số S là P, ” và “Một số S không phải P. ” Như hình vuông, "Mọi con thiên nga đều có màu trắng" trái ngược với "Không có thiên nga nào là màu trắng" và mâu thuẫn với "Một số thiên nga không có màu trắng." Các kết luận rút ra từ một trong những hình thức này sang hình thức khác (như trong phép biến đổi phụ) được cho là có được bằng cách suy luận ngay lập tức.