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

PAYLAŞ:

SORU: Önermeler mantığındaki sembolleştirme anahtarı ile niceleme mantığındaki sembolleştirme anahtarı arasındaki fark nedir?


CEVAP: Önermeler mantığında, sembolleştirme anahtarı basit önermelerin önerme değişkenleri ile eşleştirilmesi ile belirtiliyordu. Niceleme mantığında ise, bir önerme için bir sembolleştirme anahtarı, bu önermede geçen yüklemlerin yüklem sembolleri ile adların da ad sembolleri ile eşleştirilmesi ile belirtilir.