AÖF Soru Bankası
MNT102U

Sembolik Mantık

2018–2019 Üç Ders Çıkmış Soruları

  • 20 soru
  • Cevap anahtarı açık: çöz, sonucunu gör
0 doğru · 0 yanlış · 20 kaldı
  1. 1
    1. soru: p: Ahmet felsefe öğrencisidir. q: Ahmet'in en başarılı olduğu ders mantıktır. r: Ahmet bol alıştırma çözerek çalışır.…
    Soru metni
    p: Ahmet felsefe öğrencisidir. q: Ahmet'in en başarılı olduğu ders mantıktır. r: Ahmet bol alıştırma çözerek çalışır. Yukarıdaki sembolleştirme anahtarına göre, "Ahmet felsefe öğrencisi ise, Ahmet'in bol alıştırma çözerek çalışması, en başarılı olduğu dersin mantık olması için yeterlidir." önermesinin sembolik karşılığı aşağıdakilerden hangisidir? A) p → (q → r) B) p → (r → q) C) (p → q) → r D) p → (q ^ г) E) (p → q) ^ r
  2. 2
    2. soru: Aşağıdaki önermelerden hangisi "KIŞ geldiğinde hava soğur." önermesi ile aynı yargıyı bildirir? A) Hem kıştır, hem de…
    Soru metni
    Aşağıdaki önermelerden hangisi "KIŞ geldiğinde hava soğur." önermesi ile aynı yargıyı bildirir? A) Hem kıştır, hem de soğuktur. B) Kış değilse, hava çok sıcaktır. ne" C) Kış değilse, soğuktur. D) Kiş gelirse, hava soğur. E) Ne kıştır, ne de soğuktur.
  3. 3
    3. soru: A k. 1. C x x Yukarıdaki tamamlanmış çözümleyici çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur? A) A öne…
    Soru metni
    A k. 1. C x x Yukarıdaki tamamlanmış çözümleyici çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur? A) A önermesi çelişki önermesidir. B) A önermesi tutarlıdır. C) ~A önermesi çelişki önermesidir D) A önermesinin en az bir doğrulayıcı yorumu vardır. E) ~A önermesinin en az bir yanlışlayıcı yorumu vardır.
  4. 4
    4. soru: p: Galileo bir fizikçidir. q: Galileo bir filozoftur. r: Bazı filozoflar fizikçidir. s: Bazı fizikçiler filozoftur. Y…
    Soru metni
    p: Galileo bir fizikçidir. q: Galileo bir filozoftur. r: Bazı filozoflar fizikçidir. s: Bazı fizikçiler filozoftur. Yukarıdaki sembolleştirme anahtarına göre, "Galileo hem fizikçi hem de filozoftur. O halde, bazı filozoflar fizikçi ve bazı fizikçiler filozoftur." çıkarımının sembolik karşılığı aşağıdakilerden hangisidir? A) pvq ::s→r aot. sor B) paq:: r →s C) p^q : sar D) pra :ras E) pvq :: svr
  5. 5
    5. soru: Aşağıdaki önermelerden hangisi bir totolojidir? A) ~p → (p ^ q) (b v d) < (b^ d) (g (b v d)~ < d~ 10 D) (p v q) → q E…
    Soru metni
    Aşağıdaki önermelerden hangisi bir totolojidir? A) ~p → (p ^ q) (b v d) < (b^ d) (g (b v d)~ < d~ 10 D) (p v q) → q E) (p v q) →~p
  6. 6
    6. soru: Aşağıdaki önerme çiftlerinden hangisi birlikte tutarsızdır? A) Eskişehir Iç Anadolu'dadır. Ankara lç Anadolu dadır. B…
    Soru metni
    Aşağıdaki önerme çiftlerinden hangisi birlikte tutarsızdır? A) Eskişehir Iç Anadolu'dadır. Ankara lç Anadolu dadır. B) Ankara kalabalıktır. Eskişehir kalabalıktır. C) Eskişehir Iç Anadolu'dadır. Eskişehir Türkiye dedir. D) Ankara kalabalıktır. Ankara lç Anadolu'dadır. E) Hem Ankara ai hem Eskişehir lç Anadolu'dadır. Eskişehir lç Anadolu'da değildir.
  7. 7
    7. soru: AşağıdakiR tümcelerden hangisi bir önermedir? A) Dert etme sen. B) Hadi, kitap okuyalım. orular.net C) Bu kitap ne ha…
    Soru metni
    AşağıdakiR tümcelerden hangisi bir önermedir? A) Dert etme sen. B) Hadi, kitap okuyalım. orular.net C) Bu kitap ne hakkında? D) Dünyada olmaz! E) Dünya'nın tek uydusu vardır.
  8. 8
    8. soru: m. ~(P →г) v q) m+1 x (m) m+2 Y(m) Yukarıda bir parçası verilen çözümleyici çizelgede X ve Y yerine sırasıyla aşağıda…
    Soru metni
    m. ~(P →г) v q) m+1 x (m) m+2 Y(m) Yukarıda bir parçası verilen çözümleyici çizelgede X ve Y yerine sırasıyla aşağıdaki önermelerden hangileri yazılmalıdır? A) (p → г), q В) ~(р → г), q rular.net С) ~(р → г), ~q D) (p → r), ~~q E) (p → r), ~q
  9. 9
    9. soru: Aşağıdakilerden hangisi kategorik önermelerden biri değildir? A) Bazı fizikçiler felsefecidir. B) Her insan akıllıdır…
    Soru metni
    Aşağıdakilerden hangisi kategorik önermelerden biri değildir? A) Bazı fizikçiler felsefecidir. B) Her insan akıllıdır. c) Hiçbir at omurgasız değildi.lar. net D) Çoğu canlı omurgalıdır. E) Bazı canlılar omurgalı değildir.
  10. 10
    10. soru: 1. tx Fx v~3y Fy 2. Vx Fx 2. ~Зy Fy x (2) Çözümleyici çizelge yöntemi ile Vx Fx v ~3y Fy önermesinin doğruluk değerin…
    Soru metni
    1. tx Fx v~3y Fy 2. Vx Fx 2. ~Зy Fy x (2) Çözümleyici çizelge yöntemi ile Vx Fx v ~3y 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 X yerine aşağıdakilerden hangisi yazılmalıdır? A) Vy~Fy B) Fa C) ~Fa D) Fa ^ Fb E) ~Fa v~Fb
  11. 11
    11. soru: Vz ]x (GA → (Gx ^ Hz)) formülünde Vz niceleyicisinin etki alanı aşağıdaki formüllerden hangisidir? A) VZ }x (GA → (Gx…
    Soru metni
    Vz ]x (GA → (Gx ^ Hz)) formülünde Vz niceleyicisinin etki alanı aşağıdaki formüllerden hangisidir? A) VZ }x (GA → (Gx^Hz)) B) (GA → (Gx ^ Hz)) c) ]x (GA → (Gx ^ Hz))f. . D) (Gx ^ Hz) E) Hz
  12. 12
    12. soru: F : a matematikçidir. G : a felsefecidir. H : a müzisyendir. Yukarıdaki çeviri anahtarina göre, Vx (Fx → (Gx v Hx)) s…
    Soru metni
    F : a matematikçidir. G : a felsefecidir. H : a müzisyendir. Yukarıdaki çeviri anahtarina göre, Vx (Fx → (Gx v Hx)) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir? A) Her matematikçi hem felsefeci hem de müzisyendir. B) Her matematikçi ya felsefeci ya müzisyendir. C) Hiçbir matematikçi neo felsefeci ne de müzisyen değildir. D) Bazı felsefeciler hem matematikçi hem de müzisyendir. E) Bazı müzisyenler hem felsefeci hem de matematikçidir.
  13. 13
    13. soru: Aşağıdakilerden hangisi Vx(Gx +> HA) :: HB çıkarımının denetlenebileceği bir modeldir? A) SM = (a,b}, GM = {b}, AM =…
    Soru metni
    Aşağıdakilerden hangisi Vx(Gx +> HA) :: HB çıkarımının denetlenebileceği bir modeldir? A) SM = (a,b}, GM = {b}, AM = a, BM = {c} B) SM = {a,b,c}, GM = {b}, HM = {c), AM = {a,b}, BM = {c} C) SM = {a,b}, GM = (b}, HM = {c), AM = a, BM = {c} D) SM = {a,b), GM = {b}, HM = {c), AM = {a,b,c} E) SM = {a,b,c), GM = {b}, HM = {c}, AM = a, BM = b
  14. 14
    14. soru: SM = {a, b}, FM = {a), GM = {a, b}, AM = a, BM= b modeli verilmiş olsun. Vx (FB v (GA → Fx)) önermesinin bu modelde d…
    Soru metni
    SM = {a, b}, FM = {a), GM = {a, b}, AM = a, BM= b modeli verilmiş olsun. Vx (FB v (GA → Fx)) önermesinin bu modelde doğruluk değerini denetlemek için oluşturulacak çözümleyici çizelgenin 1 numaralı kök noktasına yazılması gereken ifade aşağıdakilerden hangisidir? A) Vx (Fb v (Ga → Fx)) ar.ne B) Vx (Fa v (Ga → Fx)) C) Vx (Fb v (Gb → Fx)) D) (Fa v (Ga → Fx)) ^ (Fb v (Gb → Fx)) E) ((Fa ^ Fb) v ((Ga ^ Gb) → Fx))
  15. 15
    15. soru: 3x (~Gx ~Fx) önermesinin {a, b} kümesindeki açilimı aşağıdakilerden hangisidir? A) (~Ga ^ ~Fa) ^ (~Gb ^ ~Fb) B) (~Ga…
    Soru metni
    3x (~Gx ~Fx) önermesinin {a, b} kümesindeki açilimı aşağıdakilerden hangisidir? A) (~Ga ^ ~Fa) ^ (~Gb ^ ~Fb) B) (~Ga ^ ~Fa) v (~Gb ^ ~Fb) C) (~Ga v ~Fa) v (~Gb v ~Fb) Ilar.net D) (~Ga v ~Fa) ^ (~Gb v ~Fb) E) (~Ga ^ ~Fa) → (~Gb ^ ~Fb)
  16. 16
    16. soru: Aşağıdaki önermelerden hangisi SM = {a,b,c}, FM = {a,b), GM = {b,c} modelinde doğrudur? A) Vx (Fx ^ Gx) B) Vx Fx v Vx…
    Soru metni
    Aşağıdaki önermelerden hangisi SM = {a,b,c}, FM = {a,b), GM = {b,c} modelinde doğrudur? A) Vx (Fx ^ Gx) B) Vx Fx v Vx Gx C) Vx (Fx → Gx) D) Vx (Fx <>Gx) E) Vx (Fx v Gx)
  17. 17
    17. soru: Aşağıdakilerden hangisinde hiçbir niceleyici ifade kullanılmadan tümel-nicelemeli bir önerme dile getirilmiştir? A) K…
    Soru metni
    Aşağıdakilerden hangisinde hiçbir niceleyici ifade kullanılmadan tümel-nicelemeli bir önerme dile getirilmiştir? A) Kimi canlılar omurgalıdır. B) Bazı insanlar felsefecidir.. C) Her insan düşünür. ar.n( D) Insan akıllıdır. E) Çoğu canlı suda yaşar.
  18. 18
    18. soru: 1. A k. Fa k+1. ~Ga k+2. Gb k+3. ~Fb v Verilen tamamlanmış çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur…
    Soru metni
    1. A k. Fa k+1. ~Ga k+2. Gb k+3. ~Fb v Verilen tamamlanmış çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur? A) A önermesi S = {a,b}, F = {b), G = {} modelinde doğrudur. B) A önermesi S = {a,b}, F = {a,b}, G = {a,b} modelinde doğrudur. C) A önermesi S = {a,b}, F = (a}, G = {b} modelinde doğrudur. D) A önermesinin doğrulayıcı yorumlaması yoktur. E) A önermesinin yanlışlayıcı yorumlaması yoktur.
  19. 19
    19. soru: F: a sayıdır. G: a çift sayıdır. H: a tek sayıdır. Verilen çeviri anahtarına göre Vx (Fx → ~ (Gx ^ Hx)) önermesinin g…
    Soru metni
    F: a sayıdır. G: a çift sayıdır. H: a tek sayıdır. Verilen çeviri anahtarına göre Vx (Fx → ~ (Gx ^ Hx)) önermesinin gündelik dile çevirisi olan önerme aşağıdakilerden hangisidir? A) Hiçbir sayı hem çift sayı hem tek sayı değildir. B) Bir şey sayı ise, o șey ya çift sayı ya tek sayıdır. C) Her sayı hem çift sayı hem tek sayıdır. D) Her şey hem çift sayı hem tek sayıdır. E) Bir şey sayı ise, o şey hem çift sayı hem tek sayıdır.
  20. 20
    20. soru: "En az bir canlı omurgalıdır." önermesinin değili aşağıdakilerden hangisidir? A) Bazı omurgalılar canlıdır. B) Hiçbir…
    Soru metni
    "En az bir canlı omurgalıdır." önermesinin değili aşağıdakilerden hangisidir? A) Bazı omurgalılar canlıdır. B) Hiçbir canlı omurgalı değildir. C) En az bir canlı omurgasızdır. D) Her omurgalı canlı değildir. ir.nel E) Bazı canlilar omurgalıdır.
Bir şıkka dokun; doğru cevap hemen görünür.
Yeni yılların sınavlarını da çözSembolik Mantık dersinin tüm sınavları, cevap anahtarları, süreli mod ve yanlış analizi uygulamada.Uygulamada aç