(Mantıkta) Bir önermede özne ile yüklemin yerlerinin değiştirilmesi ile yapılan önerme: "Her S P dir. Her P S dir." //. Önermede nicelik değişmiyorsa evirme yalın evirmedir tümel olumsuz ve tikel olumlu önermeler yalın olarak evrilebilirler: "Hiç bir insan ölümlü değildir. Hiç bir ölümlü insan değildir." "Kimi filozoflar dalgındır. Kimi dalgınlar filozoftur." Ama önerme, yargının niteliği değişerek de evrilebilirbu durumda evirme ile elde edilen önermenin kapsamı evrilen önermeden az olur: "Bütün kareler dörtgendir." önermesinde evirme: "Kimi dörtgenler karedir." biçiminde yapılır, çünkü bütün dörtgenler kare değildir.
TDK Felsefe Terimleri Sözlüğü