Deneme Sınavı Soruları

Aşağıdaki modellerin hangisi ∀x (Fx ∧ ~Gx)  ∴ ∀x (Fx ∧ GA) çıkarımının bir karşı-modelidir?

Aşağıdakilerden hangisi ya da hangileri tikel-niceliğe örnektir?

1. Bazı arabalar iki tekerleklidir.
2. Bütün canlılar ölümlüdür.
3. Her bitkinin tohumu vardır.

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?

I. Bir çıkarımın geçersiz olması, en az bir modelde tüm öncüllerin doğru olmasına
rağmen sonuç önermesinin yanlış olmasıdır.

II. Bir çıkarımın öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olduğunu
ortaya koyan bir model çıkarımın bir karşı-modelidir.

III. Bir çıkarımın geçerli olduğunu göstermek için, çıkarımın bir karşı-modeli olmadığını ortaya koymamız gerekir.

Yukarıda çıkarımlar ile ilgili verilen bilgilerden hangisi veya hangileri doğrudur?

∃x (Fx ∧ ~Gx) ∧ ∃y (Gy ∧ ~Fy) önermesi için bir model oluşturursak 6 numaralı yere hangisi gelmelidir? 
1. ∃x (Fx ∧ ~Gx) ∧ ∃y (Gy ∧ ~Fy)
2. ∃x (Fx ∧ ~Gx) (1)
3. ∃y (Gy ∧ ~Fy) (1)
4. (Fa ∧ ~Ga) (2)
5. Fa (4)
6. ........... (4)
7. Gb ∧ Fb (3)
8. Gb (7)
9. ~Fb (

Niceleme mantığında yorumlama modellerle gerçekleşir. Her model bir küme üzerinde oluşturulur. Modelin üzerine kurulduğu küme, modelin “...........” ya da “evreni” olarak adlandırılır.Boşluğa hangi şıkkın gelmesi uygundur?

"Çözümleyici çizelge ile model oluştururken bir dalda .......... biçiminde bir önerme ortaya çıktığında, o dalda ortaya çıkmamış yeni bir s elemanı için A (s) ifadesi dala eklenmelidir. "

“Her F G dir” önermesi, ................. biçiminde sembolleştirilir." Boşluğa ne gelmelidir?

Eğer α nesnesi S kümesini oluşturan nesneler arasında değil ise, bu durum sembolik olarak nasıl gösterilir?

Bazı hayvanlar uçamaz önermesinin değili aşağıdakilerden hangisidir?

∃x ((Fx ∧ Gx) ∧ Hx) sembolik önermesini aşağıda verilen çeviri anahtarına göre gündelik dile çevirisi aşağıdakilerden hangisinde doğru verilmiştir?
F: a İlkçağda yaşamıştır.
G: a filozoftur.
H: a Anadolu’ludur

Aşağıdakilerden hangisi ∀x ((Fx ∧ GA) ∨ (Gx → Hx)) önermesini denetleyebileceğimiz birer modeldir?

Önermeler mantığında gördüğümüz önerme eklemleri ile elde edilen bir bileşik önermenin doğruluk değeri, nasıl belirlenir?

''akıl yürütme” kavramının yerine kullanılabilen,daha açık ifade edilebilen kavram aşağıdakilerden hangisidir?

'Çift sayılar iki ile bölünebilir.' Bu ifadede 2 ile bölünebilme : A , çift sayı olma : B sembolleri ile gösterildiğinde aşağıdakilerden hangisi gibi yazabiliriz?

Aşağıda önermelerle ilgili verilen tanımlamalardan hangisi yanlıştır?

Aşağıdakilerden hangisinde önerme eklemlerinin öncelik sırası doğru olarak verilmiştir.

p: Doğru q: Yanlış ise, aşağıda verilen önermelerin doğruluk değeri doğru olarak verilmiştir?

Aşağıdaki seçeneklerden hangisinde doğrusal önerme eklemlerinin adlandırılması ve sembolleri doğru olarak verilmiştir?