Sembolik Mantık Çıkmış Sorular, Online Deneme Sınavları, Çalışma, Dersler, Sınava Hazırlanma, vize, final

Soru 1:

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:

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:

Çö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:

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:

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:

A) B) C) D)

Soru 7:

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:

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:

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:

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:

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:

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:

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

A) B) C) D)

Soru 14:

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:

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:

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:

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:

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:

Çö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:

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