Bir çıkarımın tüm öncüllerini doğru, sonuç önermesini yanlış yapan bir karşı modeli varsa, bu çıkarım niceleme mantığında geçersizdir.

Bir çıkarımın bazı öncüllerini doğru, sonuç önermesini yanlış yapan bir karşı modeli varsa, bu çıkarım niceleme mantığında geçersizdir.

Bir çıkarımın tüm öncüllerini yanlış, sonuç önermesini doğru yapan bir karşı modeli varsa, bu çıkarım niceleme mantığında geçersizdir.

Bir çıkarımın tüm öncüllerini yanlış, sonuç önermesini yanlış yapan bir karşı modeli varsa, bu çıkarım niceleme mantığında geçersizdir.

Bir çıkarımın bazı öncüllerini yanlış, sonuç önermesini doğru yapan bir karşı modeli varsa, bu çıkarım niceleme mantığında geçersizdir.