aof.sorular.net
Mantığın Gelişimi
Mantığın Gelişimi Deneme Sınavı
Mantığın Gelişimi Deneme Sınavı Sorusu #755466
Mantığın Gelişimi Deneme Sınavı Sorusu #755466
• Boş olmayan (en az 1-elemanlı) bir olanaklı dünyalar kümesi,
• Bu küme üzerinde 2-li bir ulaşılabilirlik bağıntısı
• Atomik önermelere her bir olanaklı dünyada bir doğruluk değeri atayan bir doğruluk değerlemesinden oluşmaktadır.Yukarıda ifade edilen özellikleri bulunan kipli önermeler mantığı modeli hangisidir?
|
Wittgenstein modeli |
|
Leibniz modeli |
|
Carnap modeli |
|
Kripke modeli |
|
Lewis modeli |
Yanıt Açıklaması:
Kipli önermeler mantığı için Kripke semantiğinin bugün yaygın olarak kullanılan son biçimine göre bir Kripke modeli
• Boş olmayan (en az 1-elemanlı) bir olanaklı dünyalar kümesi,
• Bu küme üzerinde 2-li bir ulaşılabilirlik bağıntısı
• Atomik önermelere her bir olanaklı dünyada bir doğruluk değeri atayan bir
doğruluk değerlemesinden oluşmaktadır.
Yorumlar
- 0 Yorum