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

Soru 1:

1. ~(p → (q ∧ r)) 2. p 3. ? Yukarıdaki çözümleyici çizelgede soru işaretli yere aşağıdakilerden hangisi getirilmelidir?

A) p ∧ r B) ~p ∧ r C) q ∧ r D) q E) ~(q ∧ r)

Soru 2:

Sembolik niceleme mantığında bir formülde tüm değişken geçişleri bağlı ise aşağıdakilerden hangisi ile adlandırılır?

A) Açık formül B) Kapalı formül C) Yarı açık formül D) Yarı kapalı formül E) Bağlı formül

Soru 3:

Niceleme mantığında bir ad sembolünün bir kümede yorumlanması ne anlama gelmektedir?

A) Ad sembolünü kümenin yüklemi ile eşleştirmek B) Ad sembolünü özel bir adla eşleştirmek C) Ad sembolünü kümenin bir elemanı ile eşleştirmek D) Kümedeki bir elemanın özelliğini belirtmek E) Kümedeki bir elemanın olmayan bir özelliğini belirtmek

Soru 4:

A) B) C) D)

Soru 5:

Niceleme mantığında önermelerin yorumlanması için temel kavram olan “model” kavramını ele alabilmek neyi bilmemizi gerektirir?

A) Modellemeyi B) Kümeleri C) Nicelemeyi D) Önermeyi E) İncelemeyi

Soru 6:

Aşağıdakilerden hangisi doğrusal açılımın tanımıdır?

A) Bir A önermesinde geçen tüm önermelerin bir S kümesine göre elenmesiyle elde edilen ifade, A önermesinin S kümesindeki bir “doğrusal açılımı” olarakadlandırılır. B) Bir A önermesinde geçen tüm açık nicelemelerin bir S kümesine göre elenmesiyle elde edilen ifade, A önermesinin S kümesindeki bir “doğrusal açılımı” olarakadlandırılır. C) Bir A önermesinde geçen tüm nicelemelerin bir S kümesine göre elenmesiyle elde edilen ifade, A önermesinin S kümesindeki bir “doğrusal açılımı” olarakadlandırılır. D) Bir A önermesinde geçen tüm kapalı nicelemelerin bir S kümesine göre elenmesiyle elde edilen ifade, A önermesinin S kümesindeki bir “doğrusal açılımı” olarakadlandırılır. E) Bir A önermesinde geçen bazı nicelemelerin bir S kümesine göre elenmesiyle elde edilen ifade, A önermesinin S kümesindeki bir “doğrusal açılımı” olarakadlandırılır.

Soru 7:

p: Galatasaray şampiyon olmuştur q: Galatasaray son maçında çok iyi futbol oynamıştır. r: Beşiktaş son maçında çok iyi futbol oynamıştır. s: Galatasaray son maçını kazanmıştır. t: Beşiktaş son maçında kazanmıştır. u: Beşiktaş şampiyon olmuştur. (s›q)^(~p›t) ifadesinin yukarıdaki sembolleştirme anahtarına göre karşılığı aşağıdakilerden hangisidir?

A) Galatasaray son maçında kazandıysa iyi futbol oynamıştır. Fakat şampiyon olmadıysa Beşiktaş’ta son maçında kazanmıştır. B) Beşiktaş şampiyon olduysa Galatasaray son maçında kazanamamıştır. C) Beşiktaş şampiyon olmadıysa Galatasaray son maçında iyi oynayıp kazanmıştır. D) Galatasaray ve Beşiktaş şampiyon olmadıysa ikisi de son maçında kazanamamıştır. E) Galatasaray son maçında kazandıysa iyi futbol oynaması Beşiktaş’ın şampiyon olmamasına bağlıdır.

Soru 8:

∀x ∃y (Fx ↔ Gy) önermesinin {a, b} kümesindeki açılımı aşağıdakilerden hangisidir?

A) ((Fa ↔ Ga) ∨ (Fa ↔ Gb)) ∧ ((Fb ↔ Ga) ∨ (Fb ↔ Gb)) B) ((Fa ∨ Ga) ∨ (Fa ∨ Gb)) ↔ ((Fb ∨ Ga) ∨ (Fb ∨ Gb)) C) ((Fa ↔ Ga) ∧ (Fa ↔ Gb)) ∨ ((Fb ↔ Ga) ∧ (Fb ↔ Gb)) D) ((Fa ↔ Ga) ∧ (Fa ↔ Gb)) ∧ ((Fb ↔ Ga) ∧ (Fb ↔ Gb)) E) ((Fa ∨ Ga) ∧ (Fa ∨ Gb)) ↔ ((Fb ∨ Ga) ∧ (Fb ∨ Gb))

Soru 9:

Aşağıdaki önermelerden hangisi S M = {a, b, c}, F M = {a}, G M = {b, c}, A M = b, B M = a modelinde doğrudur?

A) ∃x (~Fx ∧ ~Gx) B) ∃x Gx → ∀x Fx C) GA ↔ ∃x Gx D) GA ↔ GB E) FA

Soru 10:

Sadece bir yüklem ve onu izleyen bir formülden oluşan Yt biçimindeki formüllere ne denir?

A) Önerme B) Kapalı Formül C) Açık Formül D) Bileşik Formül E) Basit Formül

Soru 11:

{?x ?y (FA ? ~Fy), ?y (GB ? ~Fy)} önermeler kümesinde, F ve G yüklem sembolleri, A ve B ne sembolü olarak geçmektedir?

A) Harf B) Öncü C) Niteleme D) Ad E) Niceleme

Soru 12:

Tikel-niceleyicinin değillenmesi kuralına göre ~∃ν A ve∀ν ~A önermeleri niceleme mantığında eşdeğer önermeler olduğundan, daldaki bir üst noktada ~∃ν A ifadesi varsa, o dalda bir nokta olarak ………. ifadesi eklenir. Yukarıda verilen noktalı yere aşağıdakilerden hangisi gelirse tanım doğru yapılmış olur?

A) ∃ν ~A B) ∀ν ~A C) ∀ν A D) -∃ν ~A E) ∃ν A

Soru 13:

Aşağıdakilerden hangisi tikel-niceleyiciye örnektir?

A) Her insan filozoftur. B) Tüm insanlar filozoftur. C) Bütün insanlar filozoftur. D) En az bir insan filozoftur. E) İnsan filozoftur.

Soru 14:

Aşağıdaki hangi önermeçözümleyici çizelge yöntemiyle niceleme mantığında geçerli bir önerme olduğunu gösterilmektedir? 1. ~ ∃ x (Fx → Fa) 2. ∀ x ~ (Fx → Fa) (1) 3. ~ (Fa → Fa) (2) 4. Fa (3) 5. ~Fa (3) X(4, 5)

A) ∀x (Gx → Hx) B) ∀x (Fx → Hx) C) ∃x Fx ∴ ∀x Fx D) ∃x (Fx → FA) E) ∀x Fx ∴ ∀x Fx

Soru 15:

Çizelge tamamlandığında tüm dallar kapanıyorsa, bu önermelerin tümünü doğru yapan bir model yoktur. O halde bu önermeler için aşağıdakilerden hangisi söylenebilir?

A) Önermeler birlikte tutarlıdır. B) Önermeler birlikte olumsaldır. C) Önermeler birlikte çelişkilidir. D) Önermelerin bir kısmı tutarlı bir kısmı çelişkilidir. E) Herhangi bir yorum yapılamaz.

Soru 16:

F: a sporcudur. G: a başarılıdır. H: a çok çalışmıştır. Yukarıdaki çeviri anahtarına göre x((Gx^Fx)›Hx)^ y(Fy^Hy^ ? Gy) sembolik önermesinin günlük hayatta karşılığı aşağıdakilerden hangisidir?

A) Çok çalışan bütün sporcular başarılıdır. Bazı sporcular başarılı değildir. B) Bütün sporcular çok çalışmıştır. Her sporcu başarılı değildir. C) Çok çalışan her sporcu başarılıdır. D) Başarılı bütün sporcular çok çalışanlardır fakat bazı çok çalışan sporcu başarılı değildir. E) Başarılı ve çok çalışan herkes sporcudur.

Soru 17:

Nicelemeli önermelerin sembolleştirilmesinde temel adım, geleneksel mantıkta “kategorik önermeler” olarak adlandırılan dört temel nicelemeli önerme biçiminin sembolleştirilmesidir. Buna göre F ve G, “insan”, “canlı” gibi, herhangi iki genel terim olmak üzere, kategorik önermeleri genel olarak aşağıdakilerden hangisinde doğru olarak yer almaz?

A) Her F G dir. B) Hiçbir F G değildir C) Bazı F ler G dir D) Bazı F ler G değildir. E) F ile G ler bir bütündür.

Soru 18:

p: Futbol oynamak yetenek işidir. q: Kızlarda futbol oynayabilir. r: Elif futbol oynamaya 7 yaşında başlamıştır. s: Elif yeteneklidir. t: Elif basketbol oynamak istemektedir. u: Basketbol oynamak isteyenler için bir çok kulüp vardır. Yukarıdaki çeviri anahtarına göre, (q ^ ~s) › (t ^ u) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?

A) Ancak kızlar futbol oynayabilir ve Elif yetenekli olması durumunda, Elif basketbol oynamak istemektedir ve basketbol oynamak isteyenler için bir çok kulüp vardır. B) Eğer kızlar futbol oynayabilir ve Elif yetenekli değilse, Elif basketbol oynamak istemektedir ve basketbol oynamak isteyenler için bir çok kulüp vardır. C) Ancak kızlar futbol oynayabilir veya Elif yetenekli olması durumunda, Elif basketbol oynamak istemektedir ve basketbol oynamak isteyenler için bir çok kulüp vardır. D) Eğer kızlar futbol oynayabilir ve Elif yetenekli olması durumunda, Elif basketbol oynamak istemektedir veya basketbol oynamak isteyenler için bir çok kulüp vardır. E) Ancak kızlar futbol oynayabilir veya Elif yetenekli olması durumunda, Elif basketbol oynamak istemektedir veya basketbol oynamak isteyenler için bir çok kulüp vardır.

Soru 19:

∃x Fx ∴ ∀x Fx çıkarımının geçersiz olduğunu çözümleyici çizelge yöntemiyle gösterecek olursak aşağıdakilerden hangisi öncül olur?

A) ∃x Fx B) ~∀x Fx C) ∃x ~Fx D) Fa E) ~Fb