2018–2019 Final (Dönem Sonu) Çıkmış Soruları

Aşağıdakilerden hangisi bir çelişki önermesidir? A) (p vp) B) (p v ~p) ~(pv ~p) D) (~p v ~p) E) ~ (p vp)

Aşağıdakir önermelerden hangisi bir totolojidir? A) ~p → ~(p^ q) B) bd) (b1 d) C) (pv q) → ~p D) (p v q) → q (bvd) < d~ (=

Aşağıdakilerden hangisi tümdengelimli mantığa göre geçerli bir çıkarımdır? A) Kedi canlıdır. O halde, kedi hareket edebilir. B) Bazı canlılar felsefecidir. O halde, bazı insanlar felsefecidir. C) Sokrates bir felsefecidir. O halde, Sokrates bir felsefecidir. D) Kuğu yer kaplar. O halde, tüm kuğular siyahtır. E) Bazı şehirler kalabalıktır. O halde, şehir yaşamı zordur.

A k. B Yukarıdaki çözümleyici çizelgeye göre, aşağıdakilerden hangisi kesinlikle yanlıştır? A) A önermesi çelişki önermesidir. B) A önermesi totoloji önermesidir: C) A önermesinin yanlışlayıcı yorumlaması yoktur. D) ~A önermesi çelişki önermesidir. E) ~A önermesinin dogrulayıcı yorumlaması yoktur.

p: Sartre varoluşçu bir düşünürdür. q: Camus varoluşçu bir düşünürdür. r: Sartre bir edebiyatçıdır. s: Camus bir edebiyatçıdır. t: Bütün varoluşçu düşünürler edebiyatın felsefeden ayrılamayacağını savunmaktadır. Yukarıdaki çeviri anahtarına göre, "Bütün varoluşçu düşünürler edebiyatın felsefeden ayrılamayacağını savunmaktadır. O halde, hem Sartre hem Camus varoluşçu bir düşünür ise, hem Sartre hem Camus bir edebiyatçıdır." çıkarımının sembolik karşılığı aşağıdakilerden hangisidir? A) (pvq) : tv (r → s) B) t :: (p ^ q) → (r^ s) C) t :: (p^ q) → (rvs) D) t :: (p^ q) v (r^ s) E) (p v q) :: t → (r^ s)

Aşağıdaki tümcelerden hangisi bir önermedir? A) Keşke o film buradaki sinemada oynasa. B) Sakın terliyken soğuk su içme. C) Bana dedin ha! lar.ne D) 1 en küçük tek doğal sayıdır. E) Yarın yağmur yağacak mı?

Aşağıdakilerden hangisi niceleme mantığında bir basit (atomik) formüldür? A) Ex Fx В) ~Зу (Gy л Hz) C) ]y (Gy ^ Hz) D) Gx E) ~HB

"Hiçbir F G değildir." önerme biçiminin sembolik karşılığı olan önerme aşağıdakilerden hangisidir? A) ~Vx (Fx→ Gx) B) Vx (Fx →~Gx) C) ~Vx (Fx →~Gx) D) Vx (~Fx → ~Gx) E) Vx ~ (Fx→~Gx)

A k. Fa k+1. Ga k+2. Gb k+3. ~Fb Verilen tamamlanmış çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur? A) A önermesi S = {a,b}, F = {a}, G = {a,b} modelinde doğrudur. B) A önermesi S = {a,b}, Fo= {a,b}, G = {a,b} modelinde dogrudur. C) A önermesi S = {a,b}, F = {b}, G = {} modelinde doğrudur. D) A önermesinin doğrulayıcı yorumlaması yoktur. E) A önermesinin yanlışlayıcı yorumlaması yoktur.

3x (Gx → ~Fx) önermesinin {a, b} kümesindeki açılimı aşağıdakilerden hangisidir? A) (Ga v Gb) <> ~ (Fa v Fb) lar.net B)| (Ga +>~Fa) ^ (Gb +>~Fb) C) (Ga v ~Fa) <> (Gb v ~Fb) D) (Ga ^ ~Fa) <> (Gb ^ ~ Fb) E) (Ga <> ~Fa) v (Gb <> ~Fb)

Aşağıdakilerden hangisi VX(~FA v (GB +> Hx)) önermesinin denetlenebileceği bir modeldir? A) SM = {a,b}, FM = {a}, GM = {b}, HM = {c}, AM = {a,b,c} B) SM = {a,b}, FM = {a}, GM = {b}, AM = a C) SM = {a,b}, FM = {a}, GM = {b}, HM = {c}, AM = a D) SM = {a,b,c), FM = {), GM = (b}, HM = (c}, AM = a, BM = b E) SM = {a,b,c}, FM = {a}, GM = {b}, HM = {c}, AM = {a, b}, BM = b

3x (Fx → 3y~Gy) önermesi aşağıdaki modellerden hangisinde yanlıştır? A) SM = {a, b}, FM = (), GM = {b} B) SM = {a, b}, FM = {a}, GM = {b} C) SM = {a, b}, FM = {b}, GM = {a} D) SM = {a, b}, FM = {), GM = {a} E) SM = {a, b}, FM = {a,b}, GM = {a,b}

Aşağıdakilerden hangisi "Her cisim yer kaplar." önermesi ile aynı yargıyı dile getirir? A) Her yer kaplayan cisimdir. B) En az bir cisim yer kaplar. llar.ne C) Çoğu cisim yer kaplar. D) Bazı cisimler yer kaplar. E) Tüm cisimler yer kaplar.

Vx Fx ve Vy (HA ^ Fy) önermelerinin birlikte tutarlı olduğunu göstermek için oluşturulacak çözümleyici çizelgenin başlangıcı aşağıdakilerden hangisinde doğru olarak verilmiştir? A) 1. Vx Fx 2. Vy (Ha ^ Fy) B) 1. ~V/x Fx 2. ~Vy (Ha ^ Fy) C) 1. ~V/x Fx 2. Vy (Ha л Fy) D) 1. Vx Fx 2. ~Vy (Ha ^ Fy) E) 1. ]x Fx 2. Зу (НА л Fy)

Aşağıdakilerden hangisi niceleme mantığının formüllerinden biri değildir? A) ]x~(~Fx→~Fx) B) ]x (~Fx →~Fx) C) ~]x (~F× →~Fx) D) Ex~(Fx →~Fx) E) Ex ~(~Fx)

Bir modelin evreni ya da taşıyıcı kümesi aşağıdakilerden hangisidir? A) Önerme değişkenler kümesi B) Boş küme C) Modelin üzerine kurulduğu küme D) Önerme eklemleri kümesi E) Niceleyiciler kümesi

Aşağıdakilerden hangisi "En az bir canlı omurgalıdır." önermesi ile aynı yargıyı dile getirir? A) Bazı omurgalılar canlı değildir. B) Bazı canlılar omurgalıdır. C) En az bir canlı omurgasızdır. D) En az bir canlı omurgalı değildir. E) Her omurgali canlı değildir.

A: Dünya F: a bir gezegendir. G: a yuvarlaktır. Verilen sembolleştirme anahtarına göre, "Dünya yuvarlak bir gezegendir. O halde bazı gezegenler yuvarlaktır." Çıkarımının sembolik dildeki karşılığı olan çıkarım aşağıdakilerden hangisidir? A) GA^ FA :: 3x (Fx → Gx) rular.net B) GA ^ FA :: 3x (Fx v Gx) C) GA ^ FA :: ]x (Fx ^ Gx) D) GA → FA :: Ex (Fx → Gx) E) GA → FA :: 3x (Fx ^ Gx)

SM = {a, b}, FM = {a), GM = {a,b}, AM = a modeli verilmiş olsun, 3x (Fx v (GA → VyFy)) Ö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) (Fb v (GA → VyFy)) B) #x (Fx v (Ga → VyFy)) C) (Fx v (Ga → VyFy)) D) ]x (Fx v (GA → VyFy)) E) (Fa v (GA → VyFy))

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 → #x (Jx ^ ~Hx) B) FA v GA :: ~HA → ~Vx (Jx ^ ~Hx) C) FA ^ GA :: ~HA → Jx (Jx → ~Hx) D) FA ^ GA :: ~HA → Vx (Jx →~Hx) E) FA V GA :: ~HA → Vx (Jx →~Hx)