Bir mantık işlemidir. Bu işlemde, bir içermenin önermeleri olan ön-bileşen ve art-bileşen yerine, bunların olumsuz halleri konur (tersine çevirme-obversion), önermelerin yerleri de değiştirilir. (yer değiştirme- conversion). Şöyle ki; “Eğer x 4’le bölünebiliyorsa, o halde 2’yle bölünebilir” önermesinin Bağdaşmazlık’ı, “Eğer 2’yle bölünemiyorsa, o halde 4’le de bölünemez” önermesidir. Bağdaşmazlık, birinci önermenin doğruluk ya da yanlışlık değerini korur. Kaynak: M. Roshental & P. Yudin, Materyalist Felsefe Sözlüğü