Kuadrat oposisi , dalam logika tradisional, diagram yang menunjukkan empat bentuk proposisi kategorikal ( qv ), atau pernyataan, dengan subjek dan predikat yang sama, bersama dengan hubungan berpasangan:
di mana A, E, I, dan O adalah bentuk "Setiap S adalah P, " "Tidak S adalah P, " "Beberapa S adalah P, " dan "Beberapa S bukan P. " Seperti yang ditunjukkan pada kotak, "Setiap angsa putih" adalah kebalikan dari "Tidak ada angsa yang putih" dan kontradiksi dengan "Beberapa angsa tidak putih." Kesimpulan yang ditarik dari salah satu bentuk ini ke bentuk lainnya (seperti dalam subalternasi) dikatakan diperoleh dengan inferensi langsung.
