Deneme Sınavı Soruları

Nicelemeli bir sembolik önermenin gündelik dildeki karşılığını oluşturduğumuzda, bu sembolik önermeyi gündelik dile çevirdiğimizi söyleriz. Gündelik dile çevirme işlemini de, sembolleştirmede olduğu gibi adım adım gerçekleştireceğiz.
Önermeler mantığında olduğu gibi, niceleme mantığında da gündelik dile çeviri ancak bir çeviri anahtarına göre yapılabilir. Niceleme mantığında, sembolik
bir önerme için bir çeviri anahtarı, bu önermede geçen yüklem sembollerinin
yüklem ifadeleri ile, ad sembollerinin ise adlar ile eşleştirilmesi ile belirtilir.
Gündelik dile çevirme işlemi, sembolleştirme işleminin tersi olduğundan,
sembolik bir önermeyi gündelik dile çevirirken, sembolleştirme de izlediğimiz
adımları tersine çeviririz. Gündelik dile çeviri adımlarını açıkça sıralayalım:
1. adımda, en dıştaki parantezler hariç, okuma kolaylığı sağlamak için kaldırılmış olan parantezler eklenir.
2. adımda, ad sembolleri yerine, sembolleştirme anahtarında verilen adlar
konur.
3. adımda, ifadede geçen her yüklem sembolü yerine, sembolleştirme anahtarında verilen yüklem ifadesi küme parantezleri içine konur. Hemen yanına
yüklemin uygulandığı değişken veya ad konur.
4. adımda, önermede geçen {Y(a)}X ifadeleri yerine, Y(a) yüklem ifadesinde
a yerine X değişken veya ad sembolünün konmasıyla elde edilen Y(X) ifadesi konur.
5. adımda, niceleyiciler ve önerme eklemi sembolleri yerine gündelik dildeki
niceleme ifadeleri ve önerme eklemleri konur.
6. adımda, doğal bir ifade elde etmek için parantezler yerine noktalama işaretleri konur ve istenirse kimi niceleme ifadeleri ve önerme eklemleri eşanlamlı başka ifadelerle değiştirilir.

Hangisi Doğrudur?

Niceleme mantığında gündelik dile çeviri hangi sembollerinin gündelik dildeki karşılığını belirten çeviri anahtarına göre gerçekleştirilir.

Eğer α nesnesi S kümesini oluşturan nesneler arasında değil ise,
“α nesnesi S kümesinin elemanı değildir” denir.

Yukarıda sözü geçen durumun sembolik ifadesi aşağıdakilerden hangisidir? 

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.

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

I.Niceleyici-değilleme kuralları tüm kurallardan önce uygulanmalıdır.

II. Tikel-nicelemenin açılımı kuralı tümel-nicelemenin açılımı kuralından önce uygulanmalıdır.

III. Önerme eklemleri elenirken, alt alta yazma gerektiren kurallar çatal açma
kurallarından önce uygulanmalıdır.

IV.Bir niceleyici kuralı ile önerme eklemi kuralı arasında seçim yapmamız gerektiğinde de, alt alta yazma gerektiren kural çatal açma kurallarından önce uygulanmalıdır. 

Yukarıda çözümleyici çizelge yöntemi yapılan hesaplamalarda uyulması gereken kurallarla ilgili verilen bilgilerden hangisi yanlıştır?

Yunus bir memelidir önermesi niceleyici olarak nasıl formül edilir.

∀y(Gx˅ƎzHz) formülünde Ǝz tümel-nicelemesinin etki alanı aşağıdakilerden hangisidir?

a<5 ifadesi için aşağıdakilerden hangisini söyleyebiliriz?

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

Çizelgede tüm dallar.................çıkarım geçerli olur 

Yukarıdaki boşluğa aşağıdaki ifadelerden hangisi getirilirse doğru olur? 

Aşağıdakilerden hangisi niceleme mantığı bakımından “Kimi kediler sıcakkanlıdır” önermesi ile aynı yargıyı dile getirmektedir?

(p /\ q) <-> (r /\ s) sembolik önermesinin aşağıda verilen çeviri anahtarına göre gündelik dile çevirisi aşağıdakilerden hangisidir?

p: Ali kursa gider

q: Ali derslerini düzenli çalışır

r: Ali İngilizceyi öğrenir

s: Ali başarılı olur

Bir grup önermenin tümünün aynı zamanda doğru olabilmesi bu önermeler grubunun ne olması anlamına gelir?

Aşağıda verilen önerme eklemlerinin doğruluk fonksiyonlarına ilişkin bilgilerden hangisi yanlıştır?

Aşağıdakilerden hangisi kelime olarak anlam bulanıklığı tanımına dahil değildir?

Hangisi  bir ifadenin hangi varlıklara, hangi durumlara uygulanabileceğinin kesin olarak belirlenememesi durumudur?

Aşağıdakilerden hangisi bir sembolik çıkarımın geçersiz olduğunu göstermenin yollarından biridir?

Doğru ve tamamlanmış bir çözümleyici çizelgede bir dalın açık kalması aşağıdakilerden hangisini ifade eder?