Final Sınavı - Sembolik Mantık

Soru 1:

Nicelemeli bir A sembolik önermesinin bir karşı modelini oluşturmak ne demektir?

A) ~AVB önermesinin bir modelini oluşturmak B) AΛ B önermesinin bir modelini oluşturmak C) A→B önermesinin bir modelini oluşturmak D) ~A önermesinin bir modelini oluşturmak E) A↔B önermesinin bir modelini oluşturmak

Soru 2:

(Ǝ x Gx ∧ ∀ x ( Fx ↔Gx)) önermesinin ön-nicelemeli normal biçimi aşağıdakilerden hangisidir?

A) (ƎxGx∧ ∀x((Fx∧Gx)∨(~Fx∧~Gx))) B) (∀xGx∧ ∀x((Fx ∧ Gx) ∨ (~Fx ∧ ~Gx))) C) (ƎxGx∧ ∀y((Fy∧Gy)∨(~Fy∧~Gy))) D) Ǝx∀y(Gx ∧ ((Fy∧Gy)∨(~Fy∧~Gy))) E) (ƎxGx∧ ∀y) Fy∧Gy∨(~Fy∧~Gy)

Soru 3:

F: a bir okurdur. G: a bir yazardır. H: a bir eleştirmendir Yukarıdaki çeviri anahtarına göre ?x(Gx›Fx)^ y(Fy^Hy)^?z(Hz›(Fz^ ? Gz)) sembolik önermesinin günlük hayatta karşılığı aşağıdakilerden hangisidir?

A) Bütün yazarlar okurdur fakat her okur bir yazar değil ancak bir eleştirmendir. B) Bütün yazarlar aynı zamanda bir okurdur. Bazı okurlar eleştirmendir. Her eleştirmen bir okurdur fakat bir yazar değildir. C) Her eleştirmen bir okurdur. Her okur bir yazar değildir. Fakat bazı okurlar aynı zamanda yazardır. D) Bütün yazarlar eleştirmen değildir. Fakat her okur bir eleştirmendir. Her eleştirmen ise bir okurdur. E) Her yazar ve eleştirmen bir okurdur. Bazı eleştirmenler yazardır. Bazı yazarlar ise eleştirmen değildir.

Soru 4:

∀ν A ifadesinin S kümesindeki bir doğrusal açılımı ∀ν A biçimindeki tümel-niceleme ifadeleri aşağıdakilerden hangisine dönüşür?

A) Tikel niceleme B) Tikel ve Tümel niceleme C) Tümel evetleme D) Tümel niceleme E) Tikel evetleme

Soru 5:

Çözümleyici çizelge ile nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için yapılması gereken aşağıdakilerden hangisidir?

A) Kök noktasına önermeyi yazarak oluşturulan çizelgede en az bir açık dal olmalıdır. B) Kök noktasına önermenin değili yazarak oluşturulan çizelgede en az bir açık dal olmalıdır. C) Önermenin değilinde ad sembolleri yerine birer eleman yazarak oluşturulan ifadeyi kök noktasına yazarak oluşturulan çizelgede en az bir açık dal olmalıdır. D) Önermenin değilinde ad sembolleri yerine birer eleman yazarak oluşturulan ifadeyi kök noktasına yazarak oluşturulan çizelgede tüm dallar kapanmalıdır. E) Önermenin değilinde ad sembolleri yerine birer eleman yazarak oluşturulan ifadeyi kök noktasına yazarak oluşturulan çizelgede tüm dallar açık olmalıdır.

Soru 6:

Aşağıdakilerden hangisi ? x ((Fx ? GA) ? (Gx › Hx)) önermesini denetleyebileceğimiz modellerden biridir?

A) SM = {a, b}, FM = {a}, GM = {a,b}, HM = {a}, AM = a, BM = a B) SM = {a, b,c}, FM = GM = HM = {a}, AM = a, BM = b C) SM = {a, b}, FM = { }, GM= {a}, HM = {b}, AM = b, BM = b D) SM = {a, b}, FM = {a}, GM = {a,b}, AM = a, BM = b E) SM= {a, b, c}, FM = {b}, GM = {b,c}, HM = {b}, AM = c

Soru 7:

Bir önermenin tutarlı olduğunu göstermek için çözümleyici çizelge yöntemine göre aşağıda verilenlerden hangisi yapılmalıdır?

A) Önermenin çözümleyici çizelgesini yapıp tüm dalların açık olduğunu göstermek B) Önermenin çözümleyici çizelgesini yapıp tüm dalların kapalı olduğunu göstermek C) Önermenin çizelgesini yapıp en az bir açık dal bulmak D) Önermenin değilinin çizelgesini yapıp tüm dalların açık olduğunu göstermek E) Önermenin değilinin çizelgesini yapıp tüm dalların kapalı olduğunu göstermek

Soru 8:

Aşağıdakilerden hangisi bir çıkarımdır?

A) Ahmet Nazlıyı sever o halde Ahmet ile Nazlı sevgilidir. B) Cumali ve Veysel ortak anne babadan dünyaya gelmiştir. O halde Cumali ve Veysel kardeştir. C) Deniz bugün ödevini yapmadı öyleyse Deniz bugün okula gitmeyecek. D) Ahmet’in annesi şeker hastasıdır. Öyleyse Ahmet erken yaşta ölecektir. E) Ferhat beşinci sınıf öğrencisidir. O halde Ferhat okulun en çalışkan öğrencisidir.

Soru 9:

Yukarıdaki çizelgeye göre aşağıdakilerden hangisi A önermesinin bir modelidir?

A) Sm= {a,b,c}, Fm= {b}, Gm= {a,c} B) Sm= {a,b}, Fm= {a,b}, Gm= {c} C) Sm= {a,b,c}, Fm= {a,b}, Gm= { } D) Sm= {a}, Fm= {b,c}, Gm= { } E) Sm= {b,c}, Fm= { a}, Gm= {b,c}

Soru 10:

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?

A) Sembol küme B) Sayılar kümesi C) Taşıyıcı küme D) Niceleme dünyası E) Küme parantezleri

Soru 11:

A) B) C) D)

Soru 12:

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?

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. E) Tüm modellerde doğru olan bir nicelemeli önerme yaratmak

Soru 13:

Aşağıdakilerden hangisi bir çıkarımın geçersiz olduğunu gösteren bir karşı-model bulmak için izlenebilecek adımlardan biri değildir ?

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) Öncüllerin çelişik olduğunu yüklemlerin kaplamlarını göstererek desteklemek D) Öncülleri doğru, sonuç önermesini yanlış yapacak şekilde doğruluk değeri vermeye çalışmak E) Ad sembollerine karşılık gelecek elemanları ve yüklemlerin kaplamlarını belirlemek

Soru 14:

Aşağıdaki önermelerden hangisinde “bir” ifadesi tikel-niceleyici olarak kullanılmıştır?

A) Bir uydu dünyaya düşmüştür. B) Bir yıl 365 gündür. C) Bir sayı çift ise iki ile bölünür. D) Bir gün 24 saattir. E) Bir saat 60 dakikadır.