Sembolik Mantık
2021–2022 Yaz Okulu Çıkmış Soruları
- 20 soru
- Soru metinleri açık; şıklar ve cevap anahtarı uygulamada
- 1Aşağıdakilerden hangisi bir önerme degildir?
- AEskişehir Türkiye'nin en kalabalık kentidir.
- BHaftanın en kırmızı günü salıdır.
- CHer doğal sayı ya çift ya da tek sayıdır.
- D2+2=5
- EPhobos ve Deimos, Mars gezegeninin iki doğal uydusudur.
- 2I. Ispanya Il. Çocuk III. Doğru IV. Kırmızı V. Çok Yukarıdakilerden hangileri bulanık anlamlı sözcüklerdendir?
- AI ve ll
- BII ve III
- CII ve IV
- DIII ve V
- EIV ve V
- 39 P +9 D D 1 D Y Y D 3 Y Y 4 Yukarıdaki doğruluk tablosunda numaralandırılmış boşluklara aşağıdakilerden hangisi getirilmelidir?
- A1. D, 2. D, 3. Y, 4. Y rul
- Bв) 1. D, 2. D, 3. D, 4. Y
- C1. D, 2. Y, 3. Y, 4. D
- D1. D, 2. D, 3. Y, 4. D
- E1. Y, 2. Y, 3. Y, 4. D
- 4Aşağıdaki önermelerden hangisi "Kış geldiğinde hava soğur." önermesi ile aynı yargıyı bildirir?
- AKış değilse, hava çok sıcaktır.
- BNe kıştır, ne de soğuktur.
- CHem kıştır, hem de soğuktur.ar.n
- DKış değilse, soğuktur.
- EKış gelirse, hava soğur.
- 5p: Ali mantık dersini geçmiştir. q: Ali tüm alıştırmaları çözmüştür. r: Ali derslerine düzenli çalışmıştır. Yukarıdaki sembolleştirme anahtarına göre aşağıdakilerden hangisi "Ali derslerine düzenli çalışmamış ve tüm alıştırmaları çözmemişse, mantık dersini geçmemiştir" önermesinin sembolik dildeki karşılığıdır?
- A(~r^~9) →→P aof.sd
- B~p → (~r^ ~q)
- C~pv(~r→~q)
- D(~р → г) ла
- E(~p ^~r) →~q
- 6p: Yaz mevsimidir. q: Gündüzdür. r: Hava sicaktır. Yukarıdaki anahtara göre, "Yaz mevsimi ve gündüz olduğunda, hava sıcaktır." önermesinin sembolik önermeler mantığındaki karşılığı aşağıdakilerden hangisidir? А) (P → (9 л r)) В) ((p → q) → г) C) ((p → q) л г) D) ((p ^ q) → r) b) ((р ^ q) ^ г)
- 7r→ (p ^ q) 2. A A 1 2. B Yukarıdaki çözümleyici çizelgede A ve B yerine aşağıdakilerden hangisi getirilmelidir?
- AA:~r, B: ~(p^ q)
- BA:r, B:p^ q
- CA: r, B: ~ p^ q
- DA: r, B:~ (p^ q)
- EA:~r, B:p^ q
- 8Bir çıkarımın geçerli olduğunu göstermek için çözümleyici çizelge yöntemine göre yapılması gereken aşağıdakilerden hangisidir?
- AÇıkarımın çözümleyici çizelgesini yapıp tüm dalların kapalı olduğunu göstermek
- BSonuç önermesinin değilinin çizelgesini yapıp tüm dalların açık olduğunu göstermek
- CSonuç önermesinin çizelgesini yapıp tüm dalların kapalı olduğunu göstermek
- DÇıkarımın çözümleyici çizelgesini yapıp bazı dalların açık olduğunu göstermek
- EÇıkarımın çizelgesini yapıp tüm dalların açık olduğunu göstermek
- 9Aşağıdakilerden hangisi "Her cisim yer kaplar." Önermesi ile aynı yargıyı dile getirir?
- AÇogu cisim yer kaplar.
- BBazı cisimler yer kaplar.
- CEn az bir cisim yer kaplar.
- DHer yer kaplayan cisimdir.
- ETüm cisimler yer kaplar.
- 10"Bazı filozoflar bilgedir." önermesinin değili aşağıdakilerden hangisidir?
- ABazı filozoflar bilge değildir.
- BBütün bilgeler filozof değildir.
- CHiçbir filozof bilge degildir.
- DBazı filozoflar bilgedir.
- EBütün filozoflar bilge değildir.
- 11Aşağıdaki önermelerden hangisi tikel-niceleyiciye örnek gösterilebilir?
- ABazı insanlar mavi gözlüdür.
- BTum sebzeler yazın yetişir.
- CSu yüz derecede kaynar.
- DHer ay otuz gündür.
- EBütün kediler dört ayaklıdır.
- 12Vx (Fx → Gx) önermesinin {a, b} kümesindeki açılımı aşağıdakilerden hangisidir?
- A(Fa → Ga) v (Fb → Gb)
- B(Fa ^ Ga) → (Fb ^ Gb)
- C(Fa ^ Gb) → (Fb ^ Ga)
- D(Fa → Ga) ^ (Fb → Gb)
- E(Fa → Gb) ^ (Fb → Ga)
- 13Aşağıdakilerden hangisi, (3x Fx ^ x Gx) → ]x(Fx ^ Gx) önermesinin bir karşı modelidir?
- ASM={a), FM = {a), GM ={}
- BSm={a, b}, FM = {b}, GM={b}
- CSM ={a, b}, FM= {a}, GM={b}
- DSM={a, b}, FM = {a}, GM = {a}
- ESM = {a}, FM = {}, GM ={a}
- 14Aşağıdaki önermelerden hangisi SM = {a, b}, FM = {a}, GM = {) modelinde doğrudur?
- A7x (Fx ^ Gx)
- B]x (Fx ^ ~Gx)
- CVx (~Fx^ ~Gx)
- DVx (Fx + Gx)
- EVx (Fx ^ Gx)
- 15F: a insandir. G: a sanatçidır. Yukarıdaki sembolleştirme anahtarına göre, "Her insan sanatçidır." önermesinin niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?
- AVx (Fx→~Gx)
- BVx (Fx ^ Gx)
- C7x (Fx → Gx)
- DVx (Fx → Gx)
- E}x (Fx ^ Gx)
- 16F: a kedidir. G: a miyavlar. Yukarıdaki çeviri anahtarına göre, }x (Fx ^ ~Gx) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?
- ATum kediler miyavlar.
- BBazı kediler miyavlar.
- CHiçbir kedi miyavlamaz.
- DHer kedi miyavlamaz.
- EBazı kediler miyavlamaz.
- 17F : a matematikçidir. G : a felsefecidir. H : a müzisyendir. Yukarıdaki çeviri anahtarına göre, Vx (Fx → (Gx v Hx)) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?
- ABazı felsefeciler hem matematikçi hem de müzisyendir.
- BHer matematikçi hem felsefeci hem de müzisyendir.
- CHer matematikçi ya felsefeci ya müzisyendir.
- DHiçbir matematikçi ne felsefeci ne de müzisyen değildir.
- EBazı müzisyenler hem felsefeci hem de matematikçidir.
- 18(FA → ]y (Gy ^ GC)) önermesine çözümleyici çizelge ile model oluştururken, çizelgenin kök noktasına aşağıdakilerden hangisi yazılmalıdır?
- AFx → Jy (Gy ^ Gx)
- B(Fa → ]y (Gy ^ Gc))
- CFa
- DJy (Gy ^ Gc)
- EFA
- 19Vx (Fx → Gx),Vx (Gx → Hx) :: Vx (Fx → Hx) çıkarımının geçerli olduğunu çözümleyici çizelge yöntemiyle gösterirken çizelgedeki ilk noktalara hangi formüller gelmelidir?
- A1. Vx (Fx → Gx) 2. VX (Gx → Hx) 3. ~Vx (Fx → Hx)
- B1. Vx (Fx → Gx) 2. Vx (Gx → Hx) 3. Vx (Fx → Hx)
- C1. ~Vx (Fx → Gx) 2. VX (Gx → Hx) 3. Vx (Fx → Hx)
- D1. ~Vx (Fx → Gx) 2. ~Vx (Gx → Hx) 3. ~VX (Fx → Hx)
- E| 1. ~Vx (Fx→ Gx) 2. Vx (Gx → Hx) 3. ~VX (Fx → Hx)
- 201. A k+1.~Gb k+2. Fb k+3. Fc Yukarıdaki çizelgeye göre, aşağıdaki modellerden hangisi A önermesinin bir modelidir?
- AM: SM = {a, b, C}, FM = {a,b}, GM = {a, c}
- BM: SM = {a, b, c}, FM = {a,b, c}, GM = {a, c}
- CM: SM = {a, b, c}, FM = {a,b, c}, GM = {a, b}
- DM: SM = {a, b, c}, FM = {a,b}, GM = {}
- EM: SM = {a, b, c}, FM = {), GM = {a, b}