aof.sorular.net
Sembolik Mantık
Sembolik Mantık Deneme Sınavı
Sembolik Mantık Deneme Sınavı Sorusu #1073905
Sembolik Mantık Deneme Sınavı Sorusu #1073905
Aşağıdakilerden hangisi "Hiçbir F G değildir" önermesinin sembolleştirilmiş halidir?
|
∀x (Fx → Gx) |
|
∀x (Fx → ~Gx) |
|
∃x (Fx ∧ Gx) |
|
∃x (Fx → Gx) |
|
∃x (Fx ∧ ~Gx) |
Yanıt Açıklaması:
“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. Doğru cevap B seçeneğidir.
Yorumlar
- 0 Yorum