* Evirmek işi.
* Bir önermenin konusunu yüklem, yüklemini de konu durumuna getirerek, vargısı doğru olan yeni bir önerme çıkarma, akis: "Hiçbir insan ölümsüz değildir" önermesinden evirme yoluyla "hiçbir ölümsüz insan değildir" önermesi çıkarılabilir.
* Bir önermenin konusunu yüklem, yüklemini de konu durumuna getirerek, vargısı doğru olan yeni bir önerme çıkarma, akis: "Hiçbir insan ölümsüz değildir" önermesinden evirme yoluyla "hiçbir ölümsüz insan değildir" önermesi çıkarılabilir.