Sembolik Mantık

Soru 1

Orta Zorluk

Aşağıdaki ifadelerden hangisi bir koşul önermesi değildir?

A) Ay tutulması dünyanın güneş ile ay arasına girmesi için yeterli bir koşuldur.

B) Dünyanın güneş ile ay arasına girmesi durumunda ay tutulması olur.

C) Dünya güneş ile ay arasına girdiğinde ay tutulması olmaz.

D) Ay tutulması dünyanın güneş ile ay arasına girmesi için gerekli bir koşuldur.

E) Eğer dünya güneş ile ay arasına girerse ay tutulması olur.

Soru 2

Orta Zorluk

Aşağıdaki çözümleyici çizelgede soru işareti bulunan yere hangi önerme gelmelidir?

A) ̴ p↔(q˄r)

B) p↔(q˄r)

C) ̴ p↔(q˅r)

D) ̴ p→(q˄r)

E) p↔ ̴ (q˄r)

Soru 3

Orta Zorluk

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

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

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

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) Kök noktasına önermenin değili yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.

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

Soru 4

Orta Zorluk

Bir çıkarımın geçersiz olduğu durum aşağıdakilerden hangisidir?

A) Her modelde tüm öncüllerin doğru olmasına karşın sonuç önermesinin yanlış olduğu durumdur.

B) En az bir modelde tüm öncüllerin yanlış olmasına rağmen sonuç önermesinin doğru olduğu durumdur.

C) En az bir modelde tüm öncüllerin doğru olmasına rağmen sonuç önermesinin yanlış olduğu durumdur.

D) Her modelde tüm öncüllerin yanlış olmasına karşın sonuç önermesinin doğru olduğu durumdur.

E) En az bir modelde tüm öncüllerin doğru olması ve en az bir modelde sonuç önermesinin yanlış olduğu durumdur.

Soru 5

Orta Zorluk

Yorumlamada ad sembollerine karşılık S kümesinin bir elemanını, yüklem sembollerine karşılık olarak da S kümesinin hangi ifadesini seçmemiz gerekir?

A) üst kümesini

B) alt kümesini

C) birleşik kümesini

D) nitelik kümesini

E) nicelik kümesini

Soru 6

Orta Zorluk

A)

B)

C)

D)

Soru 7

Orta Zorluk

S M = {a, b, c}, G M = {c}, A M = b şeklindeki ifade, içinde F yüklemi geçen önermeler göz önüne alındığında, F M kümesini vermediği için eksik bir modeldir. Yukarıdaki eksik modele göre, aşağıdaki durumlardan hangisinde FA ↔ ∀x ~Gx önermesi kesinlikle doğru bir önerme olur?

A) a ∈ FM

B) b ∈ FM

C) c ∈ FM

D) a ∉ FM

E) b ∉ FM

Soru 8

Orta Zorluk

p: Yarın hava yağışlıdır. q: Pikniğe gidelim. r : Futbol oynayalım. s :Sinemaya gidelim. t : Evde oturalım. “Yarın hava yağışlı değil ise sinemaya gitmezsek pikniğe gidelim.” önermesinin yukarıdaki sembolleştirme anahtarına göre karşılığı aşağıdakilerden hangisidir?

A) ~p→(~s→q)

B) ~p→(s˅q)

C) p˅(~s˄q)

D) ~(s˅q)˅p

E) (~s→q)→ ~p

Soru 9

Orta Zorluk

Bir çıkarımın geçerli olması ne demektir?

A) Çıkarımın öncüllerinin sonuç önermesi ile birlikte tutarlı olması

B) Sonuç önermelerinin tutarlı olması

C) Çıkarımın öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olması

D) Çıkarımın öncüllerinin tutarlı olması

E) Çıkarımın öncüllerinin değili ile sonuç önermesinin değilinin birlikte tutarlı olması

Soru 10

Orta Zorluk

F: a bir insandır. G: a bir filozoftur. H: a bir sorgulayıcıdır. “Bütün insanlar filozoftur ancak ve ancak sorgulayıcı iseler.” ifadesinin yukarıdaki çeviriye göre anahtarı aşağıdakilerden hangisidir?

A) Ɐx(Fx→(Gx↔Hx))

B) x(Fx→(Gx↔Hx))

C) Ɐx(Fx↔(Gx↔Hx))

D) Ɐx(Fx↔(Gx→Hx))

E) Ɐx(Gx→(Fx↔Hx))

Soru 11

Orta Zorluk

Aşağıdakilerden hangisi sembolik bir önermeyi gündelik dile çevirirken izlenecek ilk adımdır?

A) Ad sembolleri yerine, sembolleştirme anahtarında verilen adlar konur.

B) En dıştaki parantezler hariç, okuma kolaylığı sağlamak için kaldırılmış olan parantezler eklenir.

C) İfadede 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.

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

E) Niceleyiciler ve önerme eklemi sembolleri yerine gündelik dildeki niceleme ifadeleri ve önerme eklemleri konur.

Soru 12

Orta Zorluk

Bir nicelemeli önermenin bir kümedeki açılımını elde etmekteki temel fikir, nedir?

A) Niceleme mantığında önermelerin yorumlanması için temel kavram olan “model” kavramını ele alabilmek

B) Bir önermeyi, bir önerme kümesini veya bir çıkarımı herhangi bir S kümesi üzerindeki bir modelde denetlemek

C) Gündelik dilde bir yüklemin işlevi, kimi varlıkların sahip olduğu, kimi varlıkların ise sahip olmadığı bir özelliği dile getirmek

D) Bir önermenin, dolayısıyla bir önermeler kümesinin veya çıkarımın, bir modelde denetlenebilmesi

E) Önermenin ifade ettiği yargıyı ortaya koymak

Soru 13

Orta Zorluk

Aşağıdakilerden hangisi sembolik niceleme mantığında bir önermedir?

A)

B)

C)

D)

Soru 14

Orta Zorluk

Niceleme mantığının terimleri ile ilgili verilenlerden hangisi doğrudur?

A) Bazı birey değişkenleri bir terimdir.

B) Her sembol dizisi bir terimdir.

C) Her bir ad sembolü bir terimdir.

D) Hiçbir ad sembolü terim değidir.

E) Hiçbir birey değişkeni terim değildir.

Soru 15

Orta Zorluk

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

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

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

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

D) Sm= {a}, Fm= {c}, Gm= { }

E) Sm= {b,c}, Fm= { }, Gm= {c}

Soru 16

Orta Zorluk

Niceleme mantığında modelin üzerine kurulduğu küme aşağıdakilerden hangisidir?

A) Boş küme

B) Sonlu küme

C) Taşıyıcı küme

D) Alt küme

E) Kesişim Kümesi

Soru 17

Orta Zorluk

Aşağıdaki önermelerden hangisi tümel-nicelemeli bir önermedir?

A) 3 tek bir sayıdır.

B) Bazı sorular zordur.

C) En az bir çiçek dikenlidir.

D) Dünya güneşin etrafında döner.

E) Bir çocuk süt içmektedir.

Soru 18

Orta Zorluk

Bir nicelemeli önermenin bir kümedeki doğrusal açılımını oluştururken, hangi nicelemenin önce elendiği.....................Cümlesini nasıl bitirebiliriz?

A) sonucu değiştirmez

B) ifadesi önemlidir

C) farklı bir sonuç yaratır

D) etkili bir çıkarım oluşturur

E) Sorunsalını irdelememiz gerekir

Soru 19

Orta Zorluk

Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için ne yapılması gerekir?

A) Açılım kuralları

B) Tümel özellleme kuralı

C) Tikel özelleme kuralı

D) Öncelik kuralları

E) Sembolik önerme kuralları

Soru 20

Orta Zorluk

Bir önermenin doğru olup olmadığına A(a) ? A(b) ? A(c) ? … modelinde kontrol yapılıyor ise aşağıdaki hangi önermenin kullanıldığını göstermektedir?

A) Tikel niceleme açılımı

B) Tikel ve Tümel niceleme

C) Tümel evetleme

D) Tümel niceleme

E) Tikel evetleme

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