aof.sorular.net
Sembolik Mantık
SEMBOLİK MANTIK Dersi NİCELEME MANTIĞINDA SEMBOLEŞTİRME VE ÇEVİRİ soru cevapları
SEMBOLİK MANTIK Dersi NİCELEME MANTIĞINDA SEMBOLEŞTİRME VE ÇEVİRİ soru detayı:
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.