Sembolik Mantık Final 2. Deneme Sınavı

Toplam 16 Soru
PAYLAŞ:

1.Soru

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


~AVB  önermesinin bir modelini oluşturmak

AΛ B önermesinin bir modelini oluşturmak

A→B önermesinin bir modelini oluşturmak

~A önermesinin bir modelini oluşturmak

A↔B önermesinin bir modelini oluşturmak


2.Soru

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


x Gx ∧ ∀x ((Fx Gx) (~Fx ~Gx)))

(∀x Gx ∧ ∀x ((Fx ∧ Gx) ∨ (~Fx ∧ ~Gx)))

x Gx ∧ ∀y ((Fy Gy) (~Fy ~Gy)))

Ǝxy(Gx ∧ ((Fy Gy) (~Fy ~Gy)))

x Gx ∧ ∀y) Fy Gy (~Fy ~Gy)


3.Soru

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?


Bütün yazarlar okurdur fakat her okur bir yazar değil ancak bir eleştirmendir.

Bütün yazarlar aynı zamanda bir okurdur. Bazı okurlar eleştirmendir. Her eleştirmen bir okurdur fakat bir yazar değildir.

Her eleştirmen bir okurdur. Her okur bir yazar değildir. Fakat bazı okurlar aynı zamanda yazardır.

Bütün yazarlar eleştirmen değildir. Fakat her okur bir eleştirmendir. Her eleştirmen ise bir okurdur.

Her yazar ve eleştirmen bir okurdur. Bazı eleştirmenler yazardır. Bazı yazarlar ise eleştirmen değildir.


4.Soru

∀ν 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?


Tikel niceleme

Tikel ve Tümel niceleme

Tümel evetleme

Tümel niceleme

Tikel evetleme


5.Soru

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


Kök noktasına önermeyi yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.

Kök noktasına önermenin değili yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.

Ö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.

Ö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.

Ö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.


6.Soru

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


SM = {a, b}, FM = {a}, GM = {a,b}, HM = {a}, AM = a, BM = a

SM = {a, b,c}, FM = GM = HM = {a}, AM = a, BM = b

SM = {a, b}, FM = { }, GM= {a}, HM = {b}, AM = b, BM = b

SM = {a, b}, FM = {a}, GM = {a,b}, AM = a, BM = b

SM= {a, b, c}, FM = {b}, GM = {b,c}, HM = {b}, AM = c


7.Soru

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


Ö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.

Ö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.

Ö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.

Kök noktasına önermenin değili yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.

Kök noktasına önermeyi yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.


8.Soru

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?


Önermenin çözümleyici çizelgesini yapıp tüm dalların açık olduğunu göstermek

Önermenin çözümleyici çizelgesini yapıp tüm dalların kapalı olduğunu göstermek

Önermenin çizelgesini yapıp en az bir açık dal bulmak

Önermenin değilinin çizelgesini yapıp tüm dalların açık olduğunu göstermek

Önermenin değilinin çizelgesini yapıp tüm dalların kapalı olduğunu göstermek


9.Soru

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


Ahmet Nazlıyı sever o halde Ahmet ile Nazlı sevgilidir.

Cumali ve Veysel ortak anne babadan dünyaya gelmiştir. O halde Cumali ve Veysel kardeştir.

Deniz bugün ödevini yapmadı öyleyse Deniz bugün okula gitmeyecek.

Ahmet’in annesi şeker hastasıdır. Öyleyse Ahmet erken yaşta ölecektir.

Ferhat beşinci sınıf öğrencisidir. O halde Ferhat okulun en çalışkan öğrencisidir.


10.Soru

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


Sm= {a,b,c}, Fm = {b}, Gm = {a,c}

Sm= {a,b}, Fm = {a,b}, Gm = {c}

Sm= {a,b,c}, Fm = {a,b}, Gm = { }

Sm= {a}, Fm= {b,c}, Gm = { }

Sm= {b,c}, Fm = { a}, Gm = {b,c}


11.Soru

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?


Sembol küme

Sayılar kümesi

Taşıyıcı küme

Niceleme dünyası

Küme parantezleri


12.Soru



13.Soru



14.Soru

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ış
yapacak şekilde doğruluk değeri vermeye çalışmak

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


15.Soru

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?


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

Öncüllerin çelişik olduğunu yüklemlerin kaplamlarını göstererek desteklemek

Öncülleri doğru, sonuç önermesini yanlış yapacak şekilde doğruluk değeri vermeye çalışmak

Ad sembollerine karşılık gelecek elemanları ve yüklemlerin kaplamlarını belirlemek


16.Soru

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


Bir uydu dünyaya düşmüştür.

Bir yıl 365 gündür.

Bir sayı çift ise iki ile bölünür.

Bir gün 24 saattir.

Bir saat 60 dakikadır.