Öznesi ve yüklemi aynı olan iki önerme, hem nitelik hem nicelik bakımından birbirinden farklı iseler bu önermeler birbiri ile çelişiktir. Bu durumda tümel olumlu ile tikel olumsuz, tümel olumsuzla tikel olumlu önermeler çelişiktir. Buna göre soruda verilen “Bütün kediler dört ayaklıdır.” önermesi tümel olumlu olduğundan bu önermenin çelişiği tikel olumsuzdur. Soruda verilen önermenin tikel olumsuzu “Bazı kediler dört ayaklı değildir.” önermesidir.