CEVAP: Gündelik dildeki bir önerme veya çıkarımı niceleme mantığında denetlemek, bu önerme veya çıkarımın semantik statüsünü (geçerlilik, geçersizlik, tutarlılık, olumsallık durumunu) niceleme mantığı bakımından ortaya koymak demektir. Bu denetlemeyi doğru biçimde yapmamız, gündelik dildeki nicelemeli bir önermeyi niceleme mantığında doğru olarak sembolleştirmemize yani, bu gündelik dil önermesinin niceleme mantığının dilindeki doğru sembolik karşılığını bulmamıza bağlıdır.