AÖF Soru Bankası
MNT102U

Sembolik Mantık

2020–2021 Yaz Okulu Çıkmış Soruları

  • 20 soru
  • Soru metinleri açık; şıklar ve cevap anahtarı uygulamada
  1. 1
    Aşağıdakilerden hangisi günlük hayatta başvurulan tümevarımlı akıl yürütme örneklerinden biri değildir?
    • ABütün kitapları eleştirmenler tarafından beğenilen bir yazarın son kitabını okumak
    • BGökyüzündeki bulutlara bakarak yağmur yağacağını söylemek Kaportasında hasar bulunan bir aracın
    • Ckazaya karışmış olduğunu düşünmek
    • DSattığı biletlere çok kez ikramiye isabet etmiş bilet bayisinden bilet almak
    • EBir tatil sitesinde hakkında olumlu görüşler bulunan otele gitmeye karar vermek
  2. 3
    "Atilla öğretmendir" ve "Bir öğretmenin öğrencileri vardır" önermelerinden oluşan gruba aşağıdaki önermelerden hangisi eklenirse tutarlılık bozulur?
    • AHer öğretmen aynı zamanda öğrencidir.
    • BAtilla'nın ögrencisi yoktur.
    • CAtilla öğrenci değildir.
    • DHer ogretmenin bir ogrencisi vardır.
    • EAtilla oğretmenligi sevmektedir.
  3. 4
    Aşağıdaki önermelerden hangisi bir çelişki önermesidir?
    • Ap +~p
    • B~(~pv~p)
    • C~ (p →~p)
    • D~ (p ^р)
    • Ep →~p
  4. 5
    9 x D D Y D Y D Y D D Y Y Y Yukarıdaki doğruluk tablosunda x yerine aşağıdaki önermelerden hangisi yazılmalıdır?
    • A(~p <~q) of.
    • B(p →~q)
    • C~ (p → q)
    • D(~p → q)
    • E~ (p → q)
  6. 6
    (p → q) önermesi aşağıdaki önermelerden hangisi ile mantıksal olarak eşdeğerdir?
    • A(P → ~9)
    • B(~q → ~р)
    • C(~p →q)
    • D(~р →~q)
    • E(q → p)
  7. 7
    p: Farabi bir felsefecidir. q: Farabi bir mantıkçıdır. Farabi Aristoteles'in eserlerini çok iyi anlamış ve yorumlamıştır. s: İslam dünyasında "ikinci öğretmen" diye bilinen düşünür Farabi'dir. Yukarıdaki çeviri anahtarina göre, (q → p), r :: s sembolik çıkarımının gündelik dile çevirisi aşağıdakilerden hangisidir?
    • AFarabi ya mantıkçı ya da felsefecidir. Farabi Aristoteles'in eserlerini çok iyi anlamış ve yorumlamıştır. O halde, Islam dünyasında "ikinci öğretmen" diye bilinen düşünür Farabi dir.
    • BFarabi ne mantıkçı ne de felsefecidir. Farabi Aristoteles'in eserlerini çok iyi anlamış ve yorumlamıştır. O halde, Islam dünyasında "ikinci öğretmen" diye bilinen düşünür Farabi'dir.
    • CFarabi'nin bir mantıkçı olmasının gerekli ve yeterli koşulu, bir felsefeci olmasıdır. Farabi Aristoteles'in eserlerini çok iyi anlamış ve yorumlamıştır. O halde, Islam dünyasında "ikinci öğretmen" diye bilinen düşünür Farabi'dir.
    • DFarabi mantıkçı ise, felsefecidir. Farabi Aristoteles'in eserlerini çok iyi anlamış ve yorumlamıştır. O halde, Islam dünyasında "ikinci öğretmen" diye bilinen düşünür Farabi'dir.
    • EFarabi hem mantıkçı hem de felsefecidir. Farabi Aristoteles'in eserlerini çok iyi anlamış ve yorumlamıştır. O halde, Islam dünyasında "ikinci öğretmen" diye bilinen düşünür Farabi'dir.
  8. 8
    "Ali'ye özel bir üniversitenin tip fakültesinden burs çıkarsa, ne günde dört saat ders çalışması ne de daha fazla soru çözmesi ( gerekmektedir." önermesinin sembolleştirilmiş hali aşağıdakilerin hangisinde doğru olarak verilmiştir?
    • A~p→ (~q1~s)
    • Bt→ (9^ ~s)
    • Ct→ (~91~s)
    • Dt→ (~q v~s)
    • E~p→ (~q v~s)
  9. 9
    Sembolik önermeler mantığı ile ilgili aşağıdaki ifadelerden hangisi doğrudur?
    • ABir dalda ilerlerken, sadece o daldaki önermelere işlem uygulanması yanlışlıklara yol açabilir.
    • BSembolik önermeler mantiğinda her sembolik önermenin biçimi ve türü fark etmeksizin bir tek ana-eklemi vardır.
    • CÇizelge tamamlandığında, dallardan sadece biri kapanıp diğeri açık kalsa bile, çizelge kapalıdır.
    • DBir sembolik önermenin, örneğin, hem biçimi ~A olan bir değilleme önermesi hem de biçimi (A ^ B) olan bir tümelevetlemeli önerme olması mümkün değildir.
    • ESembolik onermeler mantığında her sembolik önermenin bir tek biçimi ve bileşik önerme ise, çok sayıda ana-eklen vardır.
  11. 10
    Çozümleyici çizelge yontemi ile ilgili aşağıdaki ifadelerden hangisi yanlıştır?
    • AÇizelgedeki her önerme, ana-eklemine ait kurala göre işlem görür.
    • BHer önerme eklemi için çözümleyici çizelge kuralları tanımlanır.
    • CÇozumleyici çizelge kuralları, yontemi ve ana fikri nedeniyle anlaşılması zordur ve zaman almaktadır.
    • DÇözümleyici çizelge yönteminin ana fikri, bir önermenin doğru olması için gereken koşulların bir çizgesini (grafiğini) oluşturmaktır.
    • EÇözümleyici çizelge kuralları alt alta yazma kuralları ve çatal açma kuralları biçimindedir.
  12. 11
    Aşağıdakilerden hangisi önerme eklemlerinden biri değildir? A) → B) v C) D) ~ E) =
  13. 12
    (P → Q) gösterimine denk olan gösterim aşağıdakilerden hangisidir?
    • A(P^~Q)
    • B(~Pv Q)
    • C(~Pv~Q)
    • D(P^ Q)
    • E(~ P^~Q)
  14. 13
    "Tüm kediler siyahtır" önermesinin değili aşağıdakilerden hangisidir?
    • ATum kediler siyah değildir.
    • BTüm kediler beyazdır.
    • CBazı kediler siyahtır.
    • DBazı kediler beyazdır.
    • EBazı kediler siyah değildir.
  16. 14
    Aşağıdakilerden hangisi, (]x Fx ^ ]x Gx) → ]x(Fx ^ Gx) önermesinin bir karşı modelidir?
    • ASM ={a, b}, FM = {a}, GM ={b}
    • BSM = {a}, FM = {a}, GM ={.}
    • CSM ={a, b}, FM = {a}, GM F{a}
    • DSM = {a}, FM = { }, GM ={a}
    • ESM ={a, b}, FM = {b}, GM ={b}
  17. 15
    Aşağıdaki önermelerden hangisi SM = {a, b}, FM = {a}, GM = {} modelinde doğrudur?
    • A7x (Fx ^ ~Gx)
    • BVx (Fx + Gx)
    • CVX(~FX^~Gx)
    • DEx (Fx ^ Gx)
    • EVx (Fx ^ Gx)
  18. 16
    A: Descartes F: a bir felsefecidir. G: a bir matematikçidir. H: a bir düşünürdür. J: bir insandır. Yukarıdaki sembolleştirme anahtarına göre, "Descartes bir felsefeci ve bir matematikçidir. O halde, Descartes bir düşünür degilse, hiçbir insan düşünür değildir." çıkarımının niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir? A) FA V GA :: ~HA → Vx (Jx →~Hx) B) FA VGA :: ~HA → Ix (Jx ^ ~Hx) C) FA ^ GA :: ~HA → Vx (Jx →~Hx) D) FA VGA :: ~HA →~Vx (Jx ^~Hx) E) FA^ GA :: ~HA → Jx (Jx →~Hx)
  19. 17
    "Bazı F'ler G değildir." ifadesinin sembolik önermesi aşağıdakilerden hangisidir?
    • AVx (Fx1 ~Gx)
    • B3x (Fx^~Gx)
    • CV X (Fx ^ Gx)
    • D= x (Fx ^ Gx)
    • E*x (Fx→~Gx)
  21. 18
    F : a bir insandır. G : a bir felsefecidir. H : a bir mantıkçıdır. Yukarıdaki sembolleştirme anahtarına göre, "Bazı insanlar mantıkçı ise, hiçbir insan felsefeci degildir." önermesinin niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?
    • AJx (Fx ^ Hx) → Vx (Fx →~Gx)
    • BVx (Fx → Hx) →~Vx (Fx →~Gx)
    • CVx (Fx → Hx) → Vx (Fx →~Gx)
    • DIx (Fx → Hx) → Vx (Fx → ~Gx)
    • EEx (Fx v Hx) → Vx (Fx →~Gx)
  22. 19
    En az bir modelde tüm öncüllerin dogru olmasına rağmen sonuç önermesi yanlış ise aşağıdakilerden hangisi söylenebilir?
    • ABu çıkarımın tam olduğu
    • BBu çıkarımın kapalı olduğu
    • CBu çıkarımın eksiksiz olduğu
    • DBu çıkarımın geçersiz olduğu
    • EBu çıkarımın geçerli olduğu
  23. 20
    1. A k. Fa k+1. Ga k+2. Gb k+3.~Fb Verilen tamamlanmış çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur?
    • AA önermesi S = {a,b}, F = {a,b}, G = {a,b} modelinde doğrudur.
    • BA önermesinin doğrulayıcı yorumlaması yoktur.
    • Cönermesinin yanlışlayıcı yorumlaması yoktur.
    • DA önermesi S = {a,b}, F = {a}, G = {a,b} modelinde dogrudur.
    • EA önermesi S = {a,b}, F = {b}, G = { } modelinde dogrudur.
Şı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ç