Deneme Sınavı Soruları

"Önce ................... kuralını, ardından tikel-özelleme kuralını uygularsak,
tümel-özellemede kullandığımız elemanı tikel-özellemede kullanamayacağımızdan, çelişki elde edemeyiz ve çizelgeyi kapatamayız. Bu durumda tekrar bir tümel özelleme yapmak yani çizelgeye fazladan bir nokta eklemek zorunda kalırız. Bunu
örneklerde ve çözdüğünüz alıştırmalarda görebilirsiniz." Boşluğa ne gelmelidir?

Çözümleyici çizelge yönteminin ana fikri aşağıdakilerden hangisinde doğru verilmiştir?

Ǝx (Fx v Gx) önermesinin {a,b} kümesindeki doğrusal açılımı aşağıdakilerden hangisidir?

"Bazı insanlar zengindir ama mutlu değildir" diyen bir kişi ne tür bir önermede bulunmuştur?  

Aşağıdaki önermelerden hangisi S_M = {a, b, c}, F^M = {b, c}, G^M = {a,b}, A^M = c modelinde doğrudur?

Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için izleyebileceğimiz “öncelik kuralları” vardır.Buna göre aşağıdakilerden hangisi 
bu kurallardan biri değildir?

S_M = {a, b, c}, G^M = {c}, A^M = b şeklindeki ifade, içinde F yüklemi geçen önermeler göz önüne alındığında, F^M kümesini vermediği için eksik bir modeldir.

Yukarıdaki eksik modele göre, aşağıdaki durumlardan hangisinde FA ↔ ∀x ~Gx önermesi kesinlikle doğru bir önerme olur? 

I.Dalda ortaya çıkan ifade Ys ise ve modelde s ∈ YM ise, Ys ifadesi yanlıştır.

II.Dalda ortaya çıkan ifade ~Ys ise ve modelde s ∉ YM ise, ~Ys ifadesi doğrudur ve yine o dalda ilerlemeye devam edebiliriz. 

III.Dalda ortaya çıkan ifade ~Ys ifadesi ise ve modelde s ∈ YM ise,~Ys ifadesi yanlıştır ve o dalda daha fazla ilerlemeden, dalın sonuna bir × (çarpı) işareti koyarız ve bu dalın “yanlış” bir dal olduğunu söyleriz. 

Yukarıda nicelemeli bir sembolik önermenin verilen bir modeldeki doğruluk değerini çözümleyici çizelge yöntemiyle hesaplanması hakkında verilen bilgilerden hangisi veya hangileri doğrudur?

Niceleme mantığında temel olarak kabul edilen iki niceleyiciden hangisi “bazı” sözcüğü ile dile getirilmektedir?

∀x ((Fx ∧ GA) ∨ (Gx → Hx)) önermesinde yüklem sembolleri aşağıdakilerden hangisinde doğru olarak verilmiştir?

'2 ile bölünebilen her tamsayı çifttir.' ifadesini niceleme mantığında sembolleştirerek nasıl yazılır?

A: a 2 ile bölünebilir.

B: a çift sayıdır.

Aşağıdakilerden hangisi {∃x ∃y (FA ∧~Fy), ∀y (GB ∧ ~Fy)} önermeler kümesini denetleyebileceğimiz bir modeldir?

Bir önerme ya da çıkarımın doğruluk tablosundaki satır sayısı, eğer bu önerme veya çıkarımda 5 önerme değişkeni geçiyorsa kaçtır?

Yukarıda şekilde çözümleyici çizelgesi verilen çıkarım aşağıdakilerden hangisidir?

Çözümleyici çizelgede değillenmiş bileşik önermelere uygulanacak işlemler hangi kuralla belirlenir?

Ali’nin mantık dersinden geçmesinin gerekli bir koşulu, Ali’nin mantık dersine düzenli olarak çalışmış ve tüm alıştırmaları çözmüş olmasıdır” önermesini ele alalım. “A B için gerekli bir koşuldur” önermesinin standart biçimi nasıldır?

Hangisi mantıkta doğruluk değeri alan her şeye verilen isimdir?

Basit önermelere “değil” ve “ve” gibi ifadeler eklenerek hangi tür önermeler elde edilir?

Önermeler mantığında bir önermenin doğruluk tablosu 16 satırdan oluşmakta ise, bu önermede geçen farklı önerme değişkeni sayısı kaçtır?