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

PAYLAŞ:

SORU:

“Hiçbir F G değildir” önermesini açıklayınız.


CEVAP:

“Hiçbir F G değildir” önermesi, “Her şey, eğer F ise G değildir” ya da, daha
açık bir ifade ile, “Her şey için, eğer o şey bir F ise, o şey bir G değildir” biçiminde
yorumlanarak, ?x (Fx › ~ Gx) içiminde sembolleştirilir. Bir önceki paragraftaki
açıklamaya göre, “Hiçbir F G değildir” önermesinin ?x (Fx ? ~ Gx) biçiminde
sembolleştirilemeyeceği anlaşılabilir.