SEMBOLİK MANTIK Dersi NİCELEME MANTIĞINDA SEMBOLEŞTİRME VE ÇEVİRİ soru detayı:

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.