Persegi penentangan , dalam logik tradisional, rajah yang menunjukkan empat bentuk proposisi kategorik ( qv ), atau pernyataan, dengan subjek dan predikat yang sama, bersama dengan hubungan berpasangan mereka:
di mana A, E, I, dan O adalah dalam bentuk "Every S is P, " "No S is P, " "Beberapa S adalah P, " dan "Beberapa S bukan P. " Seperti yang ditunjukkan di kotak, "Setiap angsa berwarna putih" adalah kebalikan dari "Tidak ada angsa putih" dan kontradiksi dari "Beberapa angsa tidak putih." Kesimpulan yang diambil dari salah satu bentuk ini ke bentuk yang lain (seperti dalam subalternation) dikatakan dapat diperoleh dengan kesimpulan segera.
