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:
“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.