AÖF Soru Bankası
MNT102U

Sembolik Mantık

2021–2022 Final (Dönem Sonu) Çıkmış Soruları

  • 20 soru
  • Soru metinleri açık; şıklar ve cevap anahtarı uygulamada
  1. 1
    Aşağıdaki sözcüklerden hangisi çok anlamlıdır?
    • AGezegen
    • BYorgun
    • CBilgisayar
    • DUç
    • EKedi
  2. 2
    Aşağıdaki önermelerden hangisi bir çelişki önermesidir?
    • A~ (p →~p)
    • B~ (~p v~p)
    • Cp →~p
    • DV) ~ (p^p)
    • Ep →~p
  3. 3
    p: Ali mantık dersini geçebilir. q: Ali tüm alıştırmaları çözer. r: Ali derslerine düzenli çalışır. Yukarıdaki sembolleştirme anahtarına göre aşağıdakilerden hangisi "Ali derslerine düzenli çalışırsa, tüm alıştırmaları çözse de çözmese de mantik dersini geçebilir." önermesinin sembolik dildeki karşılığıdır?
    • Ar → [qv~q → p]
    • Bp → [r v ~r → q]
    • Cq → [p v~p→r]
    • Dp → [q v~q → r]
    • Er → [p v~p → q]
  4. 4
    Çozümleyici çizelge yöntemine göre, aşağıdaki durumlardan hangisinde A önermesinin doğrulayıcı yorumlaması yoktur?
    • AA önermesinin çizelgesinde açık kalan en az bir dal var ise
    • BA önermesinin çizelgesinde tüm dallar açık kalır ise
    • CA önermesinin çizelgesinde tüm dallar kapanır ise
    • D~A önermesinin çizelgęsinde tüm dallar açık kalır ise
    • E~A önermesinin çizelgesinde açık kalan en az bir dal var ise
  6. 5
    Aşağıdakilerden hangisi "Her cisim yer kaplar." önermesi ile aynı yargıyı dile getirir?
    • AHer yer kaplayan cisimdir.
    • BEn az bir cisim yer kaplar.
    • CBazı cisimler yer kaplar.
    • DÇoğu cisim yer kaplar.
    • ETum cisimler yer kaplar,
  7. 6
    "Hiçbir kedi evcil değildir" önermesinin değili aşağıdakilerden hangisidir?
    • ATüm kediler evcildir.
    • BBazı kediler evcildir.
    • CTum kediler evcil degildir.
    • DBazı evcil olmayanlar kedidir.
    • EBazı kediler evcil değildir.
  8. 7
    Vx (Fy + ]z (Hx ^ Gz)) formülünde hangi değişkenlerin en az bir serbest geçişi vardır?
    • Ay ve z
    • BSadece x
    • CSadece y
    • Dx ve y
    • Ex ve z
  9. 8
    Aşağıdakilerden hangisi önerme eklemlerinden biri değildir? A) + B) C) → D) V E) =
  11. 9
    Bir modelin evreni ya da taşıyıcı kümesi aşağıdakilerden hangisidir?
    • AOnerme eklemleri kümesi
    • BNiceleyiciler kumesi
    • COnerme değişkenler kümesi
    • DModelin üzerine kurulduğu küme
    • EBoş kume
  12. 10
    Aşağıdaki modellerin hangisi, Vx (Fx → ~Gx) :: ]x (~Fx ^ GA) çıkarımının bir karşı-modelidir?
    • ASM = {a, b}, F = {a,b}, G= {b}, A= a
    • BSM = {a, b}, F = {a), G= {b}, A= a
    • CSM = {a, b}, F = {a,b}, G = {b}, A = b
    • DSM = {a, b}, F = {a), G = {a), A= a
    • ESM = {a, b}, F = {b}, G= {b}, A= a
  13. 11
    Aşağıdaki önermelerden hangisi, SM = {a, b, c), FM = {a, b}, GM = {a}, HM = {C} modelinde doğrudur?
    • AJx (Fx ^ Gx)
    • BVx (Fx → Gx)
    • C7x (Fx ^ Hx) So'
    • DVx (Fx → Hx)
    • E]x (Gx ^ Hx)
  14. 12
    Jy Vx (Fx → Gy) formülünden Vx niceleyicisinin {a, b} kümesindeki doğrusal açılımını bulurken Vx niceleyicisinin elenmesiyle elde edilen deyim aşağıdakilerden hangisidir?
    • A((Fa → ]y Gy) ^ (Fb → 7y Gy))
    • B(Jy (Fa → Gy) ^ Jy (Fb → Gy)) ‹
    • CJy (Fx → Gy)
    • DJy ((Fa → Gy) ^ (Fb → Gy))
    • EVx (Fx → Gy)
  16. 13
    "Bazı F'ler G değildir." ifadesinin sembolik önermesi aşağıdakilerden hangisidir?
    • AVx (Fx ^ Gx)
    • B= x (Fx л Gx)
    • C=x (FX→~Gx)
    • DV x (Fx^~Gx)
    • E= x (Fx ^ ~Gx)
  17. 14
    F: a insandir G: a çalışkandır. H: a özverilidir. I: a başarılıdır. Yukarıdaki çeviri anahtarına göre, VX (Fx → (Gx ^ Hx → Ix)) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?
    • AÇalışkan insanlar özverili ve başarılıdırlar.
    • BÇalışkan ve özverili insanlar başarılıdırlar.
    • CBir kimse başarılıysa, özverili ve çalışkandır.
    • DBaşarılı biri hem özverili hem de çalışkan olmalıdır.
    • EBazı kimseler çalışkan, özverili ve başarılıdır.
  18. 15
    F: a kedidir. G: a havlar. Yukarıdaki çeviri anahtarina göre, Vx (Fx → ~Gx) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?
    • AHiçbir kedi havlamaz.
    • BHer kedi havlamaz. net
    • CBazı kediler havlar.
    • DBazı kediler havlamaz.
    • ETum kediler havlar.
  19. 16
    F: a sayıdır. G: a asal sayıdır. Yukarıdaki sembolleştirme anahtarına göre, "Bazı sayılar asal sayıdır" önermesinin niceleme mantiğinda sembolleştirmesi aşağıdakilerden hangisidir?
    • AVx (Fx → Gx)
    • BVx (Fx ^ Gx) aof.so
    • C7x (Fx ^ Gx)
    • DEx (Fx ^ ~Gx)
    • EEx (Fx → Gx)
  21. 17
    A ve B önermelerinin niceleme mantığı bakımından eşdeğer olduğunu göstermek için oluşturulacak çözümleyici çizelgenin başlangıç önermesi aşağıdakilerden hangisinde doğru olarak verilmiştir?
    • A(A < B)
    • BВ) (Ал B)
    • C~(A vB)
    • D~(A <> B)
    • E(A vB)
  22. 18
    Vx (Fx v Gx), ~FA :: GA çı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 v Gx) 2. Fa 3. Ga
    • B1. Vx (Fx v Gx) ~Fa 3. ~Ga
    • C1. ~Vx (Fx v Gx) ~Fa 3. Ga
    • D1. Vx (Fx v Gx) Fa ~Ga
    • E1. ~Vx (Fx v Gx) 2. ~Fa ~Ga
  23. 19
    Bir çıkarım için oluşturulmuş en az bir modelde, tüm öncüllerin doğru olmasına ragmen sonuç önermesi yanlış ise aşağıdakilerden hangisi söylenebilir?
    • ABu çıkarımın geçerli olduğu
    • BBu çıkarımın kapalı olduğu
    • CBu çıkarımın eksiksiz olduğu .net
    • DBu çıkarımın tam olduğu
    • EBu çıkarımın geçersiz olduğu
Şıkları ve doğru cevapları görSembolik Mantık dersinin tüm sınavları, cevap anahtarları, süreli mod ve yanlış analizi uygulamada.Uygulamada aç