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

D Y Y Yukarıdaki doğruluk tablosunda x yerine aşağıdaki önermelerden hangisi yazılmalıdır? A) (~p ^ ~p) B) (p v ~p) C) (~p v ~p) D) (p ^ p) E) (p ^ ~p)

"Geçerli bir tümdengelimli çıkarımda, çıkarımın öncül önermelerinin tümünün doğru olduğunu kabul ettiğimizde sonuç önermesini de doğru kabul etmemiz zorunludur." Geçerli çıkarımlarla ilgili yukarıdaki özelliğe ne ad verilir? A) Yanlışlığı koruma B) Dogruluğu koruma C) Sağlamlık D) Yeterlilik E) Tutarlılık

9 D 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) B) (~p <>~q) C) ~ (p < q) D) (p → ~q) E) ~ (p → q)

p: Ahmet felsefe öğrencisidir. q: Ahmetin 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 → (q ^ r) C) (p → q) → r D) p → (r → q) E) p → (q → r)

1. vx Fx v~3yFy 2. Vx Fx 2. ~Jy Fy 3. X (2) Çözümleyici çizelge yöntemi ile Vx Fx v ~Jy Fy önermesinin doğruluk değerini hesaplamak üzere SM = {a, b}, FM = {a} modeli ve yukarıdaki tamamlanmamış çözümleyici çizelge verilmiş olsun. Yukarıdaki çizelgede X yerine aşağıdakilerden hangisi yazılmalıdır? A) ~Fav~Fb B) Fa C) ~Fa D) Fa ^ Fb E) Vy~Fy

Vz ]x (GA → (Gx ^ Hz)) formülünde Vz niceleyicisinin etki alanı aşagıdaki formüllerden hangisidir? A) 3x (GA → (Gx^ Hz)) a C) (GA → (Gx^ Hz)) D) (Gx ^ Hz) E) Hz

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 değildir." önermesinin niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir? A) 7x (Fx ^ Hx) → Vx (Fx →~Gx) B) Vx (Fx → Hx) → Vx (Fx →~Gx) C) Ex (Fx v Hx) → Vx (Fx → ~Gx) D) Vx (Fx → Hx) → ~Vx (Fx → ~Gx) E) Ex (Fx → Hx) → Vx (Fx → ~Gx)

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

Çözümleyici çizelge yöntemi ile Vx (FA V ~ Fx) önermesinin geçerliliğini denetlerken oluşturulacak çözümleyici çizelgenin başlangıcındaki önermeler aşağıdakilerden hangisidir? A) 1. Vx (Fa v~Fx) 2. Fa 3.~FX B) 1. Vx (Fa v ~Fx) 2. 3x (Fa v ~Fx) C) 1.~Vx (Fav~Fx) 2. JX ~(Fa v ~Fx) 1. Vx (Fa v ~Fx) 2. Fa 2.~Fx E) 1. Vx (Fa v ~Fx) 2. Fa ^ ~FX

"Her cisim yer kaplar." önermesinin değillemesi aşağıdaki önermelerden hangisidir? A) Bazı yer kaplayanlar cisimdir. B) Her yer kaplayan cisimdir. C) Bazı cisimler yer kaplar. D) Bazı cisimler yer kaplamaz. Пер E) Hiçbir cisim yer kaplamaz.

VX (~Fx ~Gx) önermesi aşağıdaki modellerden hangisinde doğrudur? A) SM = {a, b}, FM = {a}, GM = {a,b} B) SM = {a, b}, FM = {a}, GM = {b} C) SM = {a, b}, FM = {b}, GM = {a} D) SM = {a, b}, FM = {b}, GM = {a,b} E) SM = {a, b}, FM = (), GM = ()

Aşağıdakilerden hangisi ön-nicelemeli normal biçimdeki bir formüldür? A) (Ex3w (Fw →/y Gy) v (~Fx^ Gx)) B) Vy Vx Vw ((Fw ^ Gy) v (~Fx ^ Gx)) C) ((Fw ^ Gy) v x Vy 3 W (~Fx^ Gx)) D) 7x (Vy (Fw 1 Gy) v 7 W (~Fx ^ Gx)) E) ~ Vy Vx VW ((Fw ^ Gy) v (Fx ^ Gx))

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

Vz ]y (Gy v Hz) ön-nicelemeli normal biçimdeki formülünün matrisi aşağıdakilerden hangisidir? A) Gy B) 7x (Gy v Hz) C) Vy x (Gy v Hz) D) (Gy v Hz) E) Hz

Aşağıdakilerden hangisinde değilleme eklemi sadece atomik formüllere uygulanmıştır? A) VX~3y Fx B) ~ (FA v Gz) C) (~Fz →~~~]y Fx) D) ~ Vy Fw E) ~FA

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 ya felsefeci ya müzisyendir. B) Her matematikçi hem felsefeci hem de 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.

Aşağıdaki önermelerden hangisi SM = {a, b}, FM = (a), GM = () modelinde doğrudur? A) 3x (Fx^~Gx) B) Vx (Fx ^ Gx) C) VX (~Fx ^ ~Gx) D) Ex (Fx ^ Gx) E) Vx (Fx + Gx)

"En az bir canlı omurgalıdır." önermesinin değili aşağıdakilerden hangisidir? A) Bazı omurgalilar canlıdır. B) Hiçbir canlı omurgalı değildir. C) Bazı canlılar omurgalıdır. D) En az bir canlı omurgasızdır. E) Her omurgalı canlı değildir.

Aşağıdakilerden hangisi niceleme mantığında bir basit (atomik) formüldür? A) #xFx B) Gx C) ~HB D) Эу (Gy ^ Hz) E) ~Эy (Gy ^ Hz)

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