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

PAYLAŞ:

SORU:

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


CEVAP:

“Bazı F ler G değildir” önermesi “Bazı şeyler, F dir ve G değildir” ya da, daha
açık bir ifade ile, “Bazı şeyler için, o şey bir F dir ve bir G değildir” biçiminde
yorumlanır ve ?x (Fx ? ~ Gx) biçiminde sembolleştirilir. Bir önceki paragraftaki
açıklamaya göre, “Bazı F ler G değildir” önermesinin ?x (Fx › ~ Gx) biçiminde
sembolleştirilemeyeceği anlaşılabilir.