AÖF Soru Bankası
MNT102U

Sembolik Mantık

2022–2023 Yaz Okulu Çıkmış Soruları

  • 20 soru
  • Soru metinleri açık; şıklar ve cevap anahtarı uygulamada
  1. 1
    Aşağıdaki önermelerden hangisi mantıksal olarak doğrudur?
    • A2 + 2 = 4 ise, 4 = 2 + 2
    • B2+ 2=5
    • CFelsefe dersi kolaydır.
    • DBazı insanlar felsefeci değildir.
    • EThales ilk felsefecidir.
  2. 2
    I. Ispanya Il. Çocuk III. Doğru IV. Kırmızı V. Çok Yukarıdakilerden hangileri bulanık anlamlı sözcüklerdendir?
    • AI ve ll
    • BI| ve !Il
    • CIII ve IV
    • DIlI ve V
    • EIV ve V
  3. 3
    Aşağıdaki önermelerden hangisi bir çelişki önermesidir?
    • A~ (p →~p)
    • B~ (p^p)
    • C~(~pv~p)
    • Dp →~p
    • Ep →~p
  4. 4
    p ^ ~p → q sembolik önermesinde kurallara uygun olarak kaldırılmış olan tüm parantezler yerine konduğunda elde edilecek olan sembolik onerme aşağıdakilerden hangisidir?
    • A(p^~p → 9)
    • B((p ^ ~p) → 9)
    • Cp^ (~p → a)
    • Dp^~p →q
    • E(p ^~(p →9))
  6. 5
    p: Ali mantık dersini alacak. q: Ali matematik dersini alacak. r: Mantık dersi eğlencelidir. s: Matematik dersi eğlencelidir. Yukarıdaki sembolleştirme anahtarına göre, "Hem mantık hem matematik dersi eglenceli ise, Ali ya mantık ya da matematik dersini alacak." önermesinin sembolik biçimi aşağıdakilerden hangisidir?
    • A(r^ s) → (p v q)
    • B(r^ s) v (p v q)
    • C(rvs) → (pvq)
    • D(r ^ s) → (p ^ q)
    • E(r^ s)^ (p v q)
  7. 6
    p: Karanlıktır. q: Soguktur r: Gecedir. s: Kış mevsimidir. Yukarıdaki anahtara göre, "Karanlık ve soğuk ise, ya gece ya kış mevsimidir." önermesi nin sembolik önermeler mantığındaki karşılığı aşağıdakilerden hangisidir?
    • A(p ^ q) → (r^ s)
    • B(p ^ q) v (r^ s)
    • C(P V q) → (r^ s)
    • D(p ^ q) → (r vs)
    • E(p V q) → (r vs)
  8. 7
    Bir ~A önermesinin çözümleyici çizelgesinde açık kalan dal olması durumunda aşağıdakilerden hangisi kesin olarak doğrudur?
    • AA önermesi totolojidir.
    • BA önermesinin yanlışlayıcı yorumu vardır.
    • C~A önermesi totolojidir.
    • D~A önermesinin çizelgesinde kapalı bir dal da vardır.
    • EA önermesinin çizelgesinde de açık bir dal vardır.
  9. 8
    (A v B) olarak ifade edilen önerme türü aşağıdakilerden hangisidir?
    • ATumel-evetleme
    • BKoşul eklemi
    • CTikel-evetleme
    • DKarşılıklı koşul eklemi
    • ETümel-evetlemenin değillenmesi
  11. 9
    Aşağıdakilerden hangisinde değilleme eklemi sadece atomik formüllere uygulanmıştır?
    • A~ Vy Fw
    • BVx~Jy Fx
    • C(~Fz →~~~]y Fx)
    • D~ (FA v Gz)
    • E~FA
  12. 10
    Aşağıdaki önermelerden hangisi tümel-niceleyiciye örnek gösterilebilir?
    • AKimi insanlar uzun saçlıdır.
    • BBazı günler p harfi ile başlar.
    • CBütün çilekler kırmızıdır.
    • DEn az bir kedi üç renklidir.
    • EKuşların bazıları uçamazlar.
  13. 11
    "Hiçbir ders kolay değildir." önermesinin değili aşağıdakilerden hangisidir?
    • ABazı dersler kolay degildir.
    • BBazı kolay olmayanlar derstir.
    • CTüm dersler kolaydır.
    • DTum dersler kolay değildir.
    • EBazı dersler kolaydır.
  14. 12
    Aşağıdaki önermelerden hangisi Sm = {a,b,c}, FM = {a,b}), GM = {b,c} modelinde doğrudur?
    • AVx (Fx ^ Gx)
    • BVx (Fx v Gx)
    • Cvx (Fx→ Gx)
    • DVx (Fx < Gx)
    • EVx Fx v Vx Gx
  16. 13
    S = {a, b} olsun. Bu durumda Vx (Fx → ]y (Hy + GA)) önermesinin S kümesindeki dogrusal açılımı aşağıdakilerden hangisidir?
    • A(Fa → ((Ha <> GA) v (Hb < GA))) ^ (Fb → ((Ha < GA) V (Hb < GA)))
    • B(Fa → ((Ha <> GA) v (Hb <> GA))) v (Fb → ((Ha < GA) v (Hb < GA)))
    • C((Fa ^ Fb) → ((Ha <> GA) v (Hb < GA)))
    • D((Fa v Fb) → ((Ha < GA) v (Hb <> GA)))
    • E((Fa v Fb) → ((Ha < GA) ^ (Hb <> GA)))
  17. 14
    1. Tx Fx v ~3y Fy 2. Vx Fx 2. ~3y Fy X (2) Çözümleyici çizelge yöntemi ile VX Fx v ~]y Fy önermesinin doğruluk değerini hesaplamak üzere SM = {a, b}, FM = {a} modeli ve yukarıdaki tamamlanmamış çözümleyicı çizelge verilmiş olsun. Yukarıdaki çizelgede yerine aşağıdakilerden hangisi yazılmalıdır?
    • AFa
    • B~Fa
    • C~Fa v ~Fb
    • DVy~Fy
    • EFa^ Fb
  18. 15
    F: a matematikçidir. G: a çalışkandır. H: a mantıklıdır. Yukarıdaki sembolleştirme anahtarına göre, "Bütün matematikçiler çalışkandır ve mantıklıdır" çıkarımının niceleme mantıginda sembolleştirmesi aşağıdakilerden hangisidir?
    • AVx (Fx ^ Gx → Hx)
    • BВ) Vx (Fx → Gx^ Hx)
    • C]x (Fx ^ Gx ^ Hx)
    • D7x (Fx ^ Gx → Hx)
    • EVx (Fx → Gx → Hx)
  19. 16
    F: a bir müzisyendir. G: a düzenli çalışmalıdır. H: a her gün nota çalışmalıdır. K: a enstruman çalışmalıdır.
    • ASezen Yukarıdaki çeviri anahtarına göre, Vx (Fx → Gx) :: FA → HA ^ KA sembolik çıkarımının gündelik dile çevirisi aşağıdakilerden hangisidir? Her müzisyen düzenli çalışmalıdır. O halde Sezen müzisyendir.
    • BHer müzisyen düzenli çalışmalıdır. O halde Sezen her gün nota ve enstruman çalışıyorsa müzisyendir.
    • CHer müzisyen düzenli çalışmalıdır. O halde Sezen müzisyen ise heragun nota ve enstrüman çalışmalıdır.
    • DHer müzisyen enstrüman çalışmalıdır. O halde Sezen müzisyen ise her gün nota ve enstrüman çalışmalıdır.
    • EHer müzisyen her gün nota çalışmalıdır. O halde Sezen müzisyen ise her gün nota ve enstrüman çalışmalıdır.
  21. 17
    2. A ~Fa k+ 1. Gb k+2.~Gc k+3. Fb k+4.~Fc Yukarıdaki çizelgeye göre, aşağıdaki modellerden hangisi A önermesinin bir modeli olabilir?
    • AM: SM = {a, b, C}, FM = {), GM = {a, c}
    • BM: SM = {a, b, c}, FM = {a,b}, GM = {a, b}
    • CM: SM = {a, b, c}, FM = {b, c}, GM = {b, C}
    • DM: SM = {a, b, c}, FM = {b}, GM = {}
    • EM: SM = {a, b, c}, FM = {b}, GM = {a, b}
  22. 18
    Vx (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) 1. ~Vx (Fx → Gx) nes 3. VX (Fx → Hx)
    • D~VX (Gx → Hx) ~VX (FX → Hx)
    • E1. ~Vx (Fx → Gx) 2. VX (Gx → Hx) 3. ~Vx (Fx → Hx)
  23. 19
    Aşağıdaki modellerin hangisi Vx (Fx v Gx) :: ]x (~Fx ^ GA) çıkarımının bir karşı-modelidir?
    • ASM= {a, b}, F = {a), G = {a}, A= a
    • BSM = {a, b}, F = {a,b}, G = {}, A= a
    • CSM = {a, b}, F = {b}, G = {b}, A= a
    • DSM= {a, b}, F = {a}, G = {b}, A= a
    • ESM = {a, b}, F = {a}, G = {a}, A= b
  24. 20
    F: a insandır. G: a filozoftur. Yukarıdaki sembolleştirme anahtarına göre, "Bazı insanlar filozof değildir" önermesinin niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?
    • AIx (Fx ^ Gx)
    • BVx (Fx ^ Gx) ao
    • C]x (Fx ^ ~Gx)
    • DVx (Fx → Gx)
    • EVx (Fx →~Gx)
Şı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ç