Bir önermenin tutarlılığı denetlenirken yapılan işlemleri sıralayınız.