Seçmeli Ara Sınav - Sembolik Mantık

Soru 1:

Aşağıdakilerden hangisi sembolleştirmenin yararlarından değildir?

A) Sembolleştirme söylemek istediğimizi kesin olarak ifade etmemizi sağlar. B) Sembolleştirme söylemek istediğimizi daha kısa ifade etmemizi sağlar. C) Sembolleştirme kavramları soyutlaştırarak karmaşık hale getirir. D) Sembolleştirme önermelerin mantıksal denetlemesinin sadece biçimsel kurallara göre yapılmasını sağladığından denetlemeleri hızlı ve hatasız gerçekleştirebilmemizi sağlar. E) Sembolik mantıkta önerme ve çıkarımları tek tek ele almak yerine biçimlerini ela alarak genel sonuçlara ulaşabiliriz.

Soru 2:

Önermelerin yapısını en temel sembolik mantık sistemi olan “önermeler mantığı” daha açık bir ifade ile aşağıdakilerden hangisi ile adlandırılır?

A) Doğruluk Fonksiyonu Mantığı B) Mantıksal Yanlışlık C) Mantıksal Geçerlilik D) Doğrusal Eklemler E) Karşılıklı Mantık

Soru 3:

Bir grup önermenin tümünün aynı zamanda doğru olabilmesine ne denir?

A) Tutarlılık B) Geçerlilik C) Kabul edilebilirlik D) Güvenilirlik E) Hassaslık

Soru 4:

~p↔q önermesi aşağıdakilerden hangisi ile eşdeğerdir?

A) p ˄ q B) p ˅ q C) p→q D) p↔ q E) p ˄ ~q

Soru 5:

İsmail doktordur” ve “Bir kişi doktor ise hastaları vardır.” Aşağıdaki önermelerden hangisi çıkartıldığında kalan önermeler yukarıdaki önermelerle tutarlı bir grup oluşturur?

A) İsmail hiç kimsenin hastası değildir B) Ahmet İsmail’in hastasıdır C) Her doktorun bir hastası vardır D) Barkın İsmail’in doktorudur E) Hiç kimse İsmail’in hastası değildir

Soru 6:

Tümevarımlı akıl yürütme ile ilgili aşağıdakilerden hangisi söylenemez?

A) Tümevarımlı akıl yürütme bakımından bir çıkarımda öncüllerin sonuç önermesini kesin olarak ortaya koyması beklenir. B) Aynı türden belli sayıda özel durumdan yola çıkarak genel bir sonuca varmaya çalışmak tümevarımlı akıl yürütmektir. C) Tümevarımlı bir çıkarımda öncül önermelerinin doğruluğu sonuç önermesinin doğruluğunu ciddi olarak arttırıyorsa, bu çıkarım güçlü bir tümevarımlı çıkarımdır. D) “Lale yeşil gözlüdür. O halde Lale sarışındır.” zayıf tümevarımlı bir çıkarımdır. E) Analoji (benzeşim), bir tümevarımlı akıl yürütme biçimidir.

Soru 7:

Aşağıdakilerden hangisi (p? ? q)›(p?r) önermesi için bir yanlışlayıcı yorumlamadır?

A) p yanlış, q doğru, r yanlış B) p yanlış, q yanlış, r doğru C) p yanlış, q yanlış, r yanlış D) p doğru, q doğru, r doğru E) p doğru, q yanlış, r yanlış

Soru 8:

I. Önermeler mantığının bir sembolik önermesinin gündelik dilde bir önerme olarak karşılığı, bu önermenin gündelik dile bir çevirisidir. II. Sembolik önermeleri gündelik dile çevirirken de, sembolik önermelerdeki önerme değişkenlerinin hangi gündelik dil önermesi ile karşılanacağını belirtmemiz gerekir. III. Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını gösteren bir listeye “çeviri anahtarı” adı verilir. Yukarıda gündelik dile çevirme ile ilgili verilen ifadelerden hangisi/hangileri doğrudur?

A) Yalnız II B) Yalnız III C) I ve II D) I ve III E) I, II ve III

Soru 9:

Aşağıdaki bilim adamlarından hangisi mantık biliminin kurucusu olarak görülmektedir?

A) Öklid B) Aristoteles C) Harezmi D) İbn-i Sina E) Charles Darwin

Soru 10:

Aşağıdakilerden hangisi düzgün bir tümcedir?

A) Mantık beş harflidir B) “Ahmet” öğrencidir C) Ahmet beş harflidir D) “Matematik” zor bir derstir E) Her matematikçi mantık bilir

Soru 11:

Aşağıdakilerden hangisi (p ^ q) önermesine eşdeğerdir?

A) ~(p › ~q) B) (~p › q) C) ~(~p ^ ~q) D) ~(p ^ ~q) E) (~p v q)

Soru 12:

Bir çıkarımın geçerli olduğunu göstermek için çözümleyici çizelge yöntemine göre ne yapılması gereklidir?

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

Soru 13:

Aşağıdaki önermelerden hangisi “Hava ısınırsa genleşir.” önermesi ile aynı yargıyı bildirmez?

A) Eğer hava ısınırsa genleşir. B) Havanın genleşmesi için ısınması yeterli bir koşuldur. C) Havanın genleşmesi için ısınması gerekli bir koşuldur. D) Hava ısınması durumunda genleşir. E) Hava ısındığında genleşir.

Soru 14:

Bir önermede ya da çıkarımda geçen önerme sayısı 3 ise, bu önermenin ya da çıkarımın doğruluk tablosundaki satır sayısı aşağıdakilerden hangisidir?

A) 2 B) 4 C) 6 D) 8 E) 10

Soru 15:

Gündelik dilde ifade edilen bir önermeyi önermeler mantığının sembolik dilindeki sembollerle önerme olarak karşılığı aşağıdakilerden hangisidir?

A) Mantıklaştırma B) Sembolleştirme C) Sitematikleştirme D) Kodlama E) Sadeleştirme

Soru 16:

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

A) Ali Murat’ın babasıdır. O halde, Ali Murat’ı sever. B) Ali Murat’ın arkadaşıdır. Murat Can’nın arkadaşıdır. O halde Ali Can’ın arkadaşıdır. C) Ali hem Murat’ın hem de Can’nın arkadaşıdır. O halde Ali Murat’ın arkadaşıdır. D) Ali ya Murat’ın ya da Can’nın arkadaşıdır. O halde Ali Murat’ın arkadaşıdır. E) Ali Murat’ı tanır. O halde Murat Ali’yi tanır.

Soru 17:

Önermeler doğruluk değerlemelerinin tümünde aldıkları doğruluk değerine göre kaça ayrılır?

A) 2 B) 3 C) 4 D) 5 E) 6

Soru 18:

Temel gerçeklerin akla dayalı olarak araştırılmasına ne ad verilir?

A) Mantık B) Felsefe C) Nöroloji D) Sosyoloji E) Psikoloji

Soru 19:

“Derya annedir.” ve “Bir kadının çocuğu varsa annedir.” önermelerinden oluşan gruba aşağıdaki önermelerinden hangisi eklenirse tutarlılık kesinlikle bozulur?

A) Deniz, Derya’nın çocuğudur. B) Derya’nın iki çocuğu vardır. C) Her annenin en az bir çocuğu vardır. D) Derya’nın hiç çocuğu yoktur. E) Derya’nın annesi Neşe’dir.

Soru 20:

Aşağıdaki önerme çiftlerinden hangisi eşdeğer önermelerdir?

A) p›q, q›p B) p›q, ~q›~p C) p›q, ~p›~q D) p›q, q›~p E) p›q, ~p›q