aof.sorular.net
Sembolik Mantık
Sembolik Mantık Deneme Sınavı
Sembolik Mantık Deneme Sınavı Sorusu #1073864
Sembolik Mantık Deneme Sınavı Sorusu #1073864
Aşağıdakilerden hangisi "her F G dir" önermesinin sembolleştirilmiş halidir?
|
∀x (Fx → Gx) |
|
∀x (Fx → ~Gx) |
|
∃x (Fx ∧ Gx) |
|
∃x (Fx ∧ ~Gx) |
|
∀x (Fx ∧ ~Gx) |
Yanıt Açıklaması:
“Her F G dir” önermesi, “Her şey, eğer F ise G dir” ya da, daha açık bir ifade
ile, “Her şey için, eğer o şey bir F ise, o şey bir G dir” biçiminde yorumlanarak, ∀x (Fx → Gx) biçiminde sembolleştirilir. Doğru cevap A seçeneğidir.
Yorumlar
- 0 Yorum