Sa
klasikong lohika, ang isang
kontradiksiyon o
salungatan ay binubuo ng isang inkompatibilidad na
lohikal sa pagitan ng dalawa o higit pang mga proposisyon. Ito ay nangyayari kapag ang mga proposiyon na pinagsama ay nagbibigay ng dalawang mga
konklusyon na bumubuo ng lohikal na karaniwan ay magkabaliktad na pagbabaliktad ng bawat isa. Ayon sa batas ng kawalang kontradiksiyon ni
Aristotle, "ang isa ay hindi makapagsasabi ng isang bagay na ito ay at ito ay hindi sa parehong respeto at parehong panahon". Sa ektensiyon sa labas ng klasikong lohika, ang isa ay makapagsasalita ng mga kontradiksiyon sa pagitan ng mga aksiyon kapag ang isa ay nagpapalagay na ang kanilang mga motibo ay sumasalungat sa bawat isa.