Klasik mantıkta, dört standart form katego­rik önerme formunda değişiklik yapma bu dört önermeden her birinin öznesinin ya da yükleminin yerini veya önermenin niteliğini değiştirerek yeni bir önerme elde etme işle­mi. Söz konusu dönüştürme işlemi sırasında, önermenin ilk hali ile değiştirilmiş hali ara­sında bir eşdeğerlik olması zorunluluğu var­dır. Evirme, çevirme ve devirme olmak üzere, üç tür dönüştürme işleminden söz edi­lebilir.