2013–2014 Final (Dönem Sonu) Çıkmış Soruları

Aşağıdakilerden hangisi düzgün bir tümcedir? A) "Dünya" bir gezegendir. B) "Dünya" ile "Ay" birbirine oldukça yakındır. C) Dünya beş harflidir. ar.net D) Dünya'nın ilk harfi "D" harfidir. E) Dünya Güneş'in uydusudur.

Aşağıdaki önermelerden hangisi önermeler mantığı bakımından basit bir önermedir? A) Yarın yağmur yağmayacak. B) Çok kar yağdığında, okullar tatil olur. C) Ya Ankara ya da İstanbul Türkiye'nin en kalabalık kentidir. aot.sor D) Ali ve Ahmet kardeştir. E) Yağmur yağarsa, şemsiye satışları artar.

p: Ali felsefe öğrencisidir. q: Ali sosyoloji öğrencisidir. r: Ali mantık dersi almalıdır. s: Ali psikoloji dersi almalıdır. Yukarıdaki sembolleştirme anahtarına göre, "Ali felsefe veya sosyoloji öğrencisi ise, Ali hem mantık hem de psikoloji dersi almalıdır" önermesinin sembolik karşılığı aşağıdakilerden hangisidir? ar.ne A) ((P ^ q) → (r ^ s)) B) ((p v q) → (r ^ s)) C) ((p v q) → (rv s)) ((P > ٢) ٨(9 →5)) E) ((P → r) v (q → s))

m. ~((p vr) → -q) m+1 X m+2 Yukarıda bir parçası verilen çözümleyici çizelgede X ve Y'nin yerine sırasıyla aşağıdaki önerme çiftlerinden hangisi yazılmalıdır? А) ~~(р 1г), ~q B) ( (P ٨٢)٫-٩ С) ~ (р ^ г), ~q D) ~ (p ^ r), ~~q E) (P v r), ~~q

Ex (Fx ^ Vy Hy) önermesinin ön-nicelemeli normal biçimi aşağıdaki önermelerden hangisidir? A) 3x Vy (Fx ^ Hy) B) V× Vy (Fx v~Ну) C) EXVY ((Fy v Hx) ^ ~Fx) D) ]xЗy (Fy v Hx) E) VxVy (Hx) ^~Fx)

Aşağıdaki nicelemeli önermelerden hangisi önermeler mantığı gereği geçerli bir önermedir? A) (Vx Fx ^ (Vx Fx → Gx)) → Gx B) (3x Fx ^ (Fx → Gx)) → Gx ülar.net C) (VX (Fx ^ Gx)→ Gx) → Gx D) (FX ^ ]x Gx) → Gx E) ]x (Fx ^ Gx) → ~Gx

Aşağıdakilerden hangisi düzgün bir nicelemeli sembolik önermedir? A) Vx Fx + (By Fy) B) Vx (Fx +> Jy Fy lar.nei C) VX (Vx +>Fy) aof.soru D) *xx→3yFy E) 3y (Vx Fy <> Fx)

Aşağıdakilerden hangisi bir açık formüldür? A) ]x Vy (Gx v (Fy <> Vy Gx)) v Vx Gx B) 3x (Gx v Vy (Fy <> Vy Gx)) v Vy Gy C) EX ((Gx v (FX +> Ty Gx)) v Ty Gx) D) ]x (Gx v (Fy <> Vy Gx)) v Vy Gx E) 3x (Gx v (vy Fy <> Ty Gx)) v Vy Gy

Aşağıdakilerden hangisi (3y Vx (~Fy v (Gx ^ Hx)) önermesinin doğruluk değerinin denetlenebileceği bir modeldir? A) SM = {a, b}, FM = {a), G" = {a} B) SM = {a, b}, F^ = (3, HM = (b} C) Su = {a, b}, F" = (), G" = (a, c), HM = (b,c} D) SM = {a, b}, F' = (), G" = (}, HM = (c} E) SM = {a, b}, FM = (3, GM = {a}, HM = {b}

Aşağıdakilerden hangisi Vx (Fx → 3y ~Gy) önermesinin bir karşı-modelidir? A) SM = {a, b}, FM = {a, b}, GM = ( B) SM = {a, b), FM = {a, b), G" = {b} C) Sm = (a, b), FM = (a), GM = Q lar.net D) Su = {a, b}, F" = {a}, GM = {a, b} E) SM = {a, b}, FM = {b}, G" = ()

Aşağıdaki ifadelerden hangisi Vx (Gx v Hx) önermesinin {a, b} kümesindeki doğrusal açılımıdır? A) (Ga ^ Hb) v (Ga ^ Hb) B) (Ga v Ha) ^ (Gb v Hb) C) (Ga ^ HD) v (Gb ^ Ha)f D) (Ga v Ha) v (Gb v Hb) E) (Ga v Hb) ^ (Gb v Ha)

Aşağıdaki önermelerden hangisi SM = {a, b}, F" = {a}, G" = {a, b} modelinde dogrudur? A) VX(Gx →~Fx) B) VX(Gx <> Fx) C) VX(~Gx →~Fx) D) VX(~FX <> Gx) E) VX(~Gx <>~Fx)

F: a dışbükeydir. G: a aynadır. H: a nesneleri olduğundan büyük gösterir. Yukarıdaki çeviri anahtarına göre Vx ((Fx ^ Gx) → ~Hx) önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir? A) Her dışbükey ayna nesneleri olduğundan büyük göstermez. B) Hiçbir dışbükey ayna nesneleri olduğundan büyük göstermez. C) Her dışbükey ayna nesneleri olduğundan büyük gösterir. D) Nesneleri olduğundan büyük gösteren her ayna dışbükeydir. E) Nesneleri olduğundan büyük gösteren hiçbir ayna dışbükey değildir.

F: a ağaçtır. G: a iğne yapraklıdır. H: a yapraklarını döker. Yukarıdaki sembolleştirme anahtarına göre "Bazı iğne yapraklı ağaçlar yapraklarını döker" önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir? sorular A) 3x (~(Fx ^ Gx) ^ Hx) B) x~((Fx^ Gx) ^ Hx) C) x ((Gx Fx) ^ Hx) D) JX ((FX ^ Gx) ^ Hx) E) 3x ((Fx ^ Gx) → ~Hx)

F: a insandır. G: a bilerek kötü bir şey yapar. Yukarıdaki sembolleştirme anahtarına göre "Hiçbir insan bilerek kötü bir şey yapmaz" önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir? A) Vx Fx → Vx Gx B) VX (FX ^ Gx) C) VX (FX →~Gx) D) Vx (Fx v Gx) E) VX (FX <> Gx)

F: a bir spordur. G: a zordur. H: a sporcudur. K: a tembeldir. Yukarıdaki çeviri anahtarına göre Vx (Fx → Gx) → Vx (Hx → ~Kx) önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir? A) Ne her spor zordur ne de her sporcu tembeldir. B) Her spor zor ise bazt sporcular tembel değildir. C) Her spor zor ise bazı sporcular tembeldir. D) Her spor zor ise hiçbir sporcu tembel değildir. E) Ya her spor zordur ya da hiçbir sporcu tembel degildir.

(Ex Fx v Vy Gy) önermesi için çizelge yöntemi ile karşı-model ararken oluşturulacak çizelgenin başlangiç noktaları aşağıdakilerden hangisidir? A) 1.~ (ExFxv VyGy) 2. 3xFx 3. VyGy B) 1.- (ExFxv Vy Gy) 2.~ 3XFX 3. ~ VyGy C) 3x Fx v Vy Gy 3x Fx •So ax Fx D) 1.(3xFxv VyGy) har.net 2.Fav VyGy 3.~ VyGy 3x Fx v Vy Gy 3x Fx By Fy

3v A tikel-nicelemeli önermesinin {a, b, c} kümesi üzerindeki bir modelde doğru olması ne demektir? A) A(a) v A(b) v A(c) ifadesinin bu modelde doğru olması B) A(a) ^ A(b) ^ A(c) ifadesinin bu modelde doğru olması C) A(a) v A(b) ^ A(c) ifadesinin bu modelde doğru olması D) A(a) ^ (A(b) v A(c)) itadesinin bu modelde doğru olması E) A(a) <> (A(b) ^ A(c)) ifadesinin bu modelde doğru olması

Evreni {a, b} kümesi olan bir modelde VX (FX v Vy (Gy→ Fy)) önermesinin doğruluk değerini hesaplarken oluşturulacak çözümleyici çizelgenin başlangiç noktaları aşağıdakilerden hangisidir? A) 1. (Fav (Ga → Fa)) 2.(Fx v (Gb → Fb)) B) 1.(Fx v Vy (Gy → Fy)) stem 2. (Fy v Vy (Gy → Fy)) C) 1.Vx(Fx v Vy (Gy →Fy)) 2.Fa v Vy (Gy → Fy) 3.Fb v Vy (Gy → Fy) D) 1.(Fa v Vy(Gy→Fy) 2.(Fx v (Gb→Fb) 1.(Fx v (Gb→Fb) E) 1.Vx(Fx v Vy(Gy→Fy) 2.(Fx v (Gb→Fb) 1.(Fx v (Gb→b)

1. A K. ~Fa K+1 Fb k+2 ~Gb k+3 Gc Yukarıdaki çizelgeye göre, aşağıdaki modellerden hangisi A önermesinin bir modelidir? A) M: SM = {a, b, c}, FM = {b}, G" = {a, c} B) M: SM = {a, b, c}, FM = {a}, G" = {a, c} C) M: SM = {a, b, c), FM = {a, b}, G" = {a, b} D) M: SM = {a, b, c}, FM = {a, b}, G" = {a, b, c} E) M: SM = {a, b, c}, FM = (b}, GM = {a, b, c}