Önermeler mantığında bir çıkarımın geçersiz olduğunu göstermek için, çıkarımın doğruluk tablosunu yaparak, çıkarımın tüm öncüllerinin doğru ancak çıkarımın sonuç önermesinin yanlış olduğu bir doğruluk değerlemesi bulmak yeterli idi. Niceleme mantığında bir çıkarımın geçersiz olduğunu, çıkarımın tüm öncüllerinin doğru ancak çıkarımın sonuç önermesinin yanlış olduğu bir “karşı-model” oluşturarak gösterebiliriz.