Sembolik Mantık

Soru 1

Orta Zorluk

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

Orta Zorluk

Ö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

Orta Zorluk

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

Orta Zorluk

~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

Orta Zorluk

İ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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

Ö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

Orta Zorluk

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

Orta Zorluk

“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

Orta Zorluk

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

Sınav Ayarları

Soru 1

Soru 2

Soru 3

Soru 4

Soru 5

Soru 6

Soru 7

Soru 8

Soru 9

Soru 10

Soru 11

Soru 12

Soru 13

Soru 14

Soru 15

Soru 16

Soru 17

Soru 18

Soru 19

Soru 20