Sembolik Mantık Deneme Sınavı Sorusu #973039
Bir çıkarımın karşı-modelini oluştururken tüm önermeleri aynı modelde değerlendirmek gereklidir. Öncüllerin doğru ve sonucun yanlış olduğu ayrı modeller oluşturmakla çıkarımın geçersiz olduğunu gösteremeyiz, çıkarımın geçersiz olduğunu gösteren bir karşı-model oluşturmaya çalışırken izlediğimiz adımlardan hangisi aşağıdaki bir şıkta yanlış verilmiştir?
|
Sonlu bir S kümesi seçmek |
|
Çıkarımı oluşturan tüm önermelerin A kümesindeki bir doğrusal açılımını oluşturmak |
|
Elde edilen ifadede, bileşenlere öncülleri doğru, sonuç önermesini yanlış |
|
Elde edilen doğruluk değerlemesine göre, ad sembollerine karşılık gelecek elemanları ve yüklemlerin kaplamlarını belirlemek. |
|
Tüm modellerde doğru olan bir nicelemeli önerme yaratmak |
(a) Sonlu bir S kümesi seçmek,
(b) Çıkarımı oluşturan tüm önermelerin A kümesindeki bir doğrusal açılımını oluşturmak,
(c) Elde edilen ifadede, bileşenlere öncülleri doğru, sonuç önermesini yanlış
yapacak şekilde doğruluk değeri vermeye çalışmak,
(d) Elde edilen doğruluk değerlemesine göre, ad sembollerine karşılık gelecek elemanları ve yüklemlerin kaplamlarını belirlemek.
Yorumlar
- 0 Yorum