klasik mantıkta, belli bir önermeden, öznesi ilk önermenin öznesi ile aynı, yüklemi ise ilk önermenin yükleminin çelişiği olup, nitelik bakımından da, ilk önerme olumsuzsa olumlu, olumluysa olumsuz olan başka bir önerme elde etmekten oluşan doğrudan bir çıkarım türü. bir önerme üzerinde gerçekleştirilen ardçevirme işlemi, dört tip önermede de eş değer bir sonuç verir.