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

Vy (Jx (Gy → Vz Hz) ^ ]z (Gz + Fz)) formülünde 3x nicelemesinin etki alanı aşağıdakilerden hangisidir? A) Vy (3x (Gy → Vz Hz) ^ ]z (Gz <> Fz)) B) (Gy → Vz Hz) C) 7z (Gz<> Fz) D) ((Gy → Vz Hz) ^ 7z (Gz ‹>Fz))°¢ E) ]z (Gz → Fz)

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

Aşağıdakilerden hangisi x değişkeninin serbest geçişinin olduğu bir formüldür? A) Vy (~Fx +> Jx (~Fy →~Fx)) c) Vx(-Fy+7y(~Fy→~Fx)Warner B) Vy (~Fy <> ]x (~Fx →~Fx)) D) (VX~Fy+x(~Fy→~Fx)) E) Vy (~Fy <> 7x (~Fy →~Fx))

~(p v 9) önermesi aşağıdaki önermelerden hangisine mantıksal olarak eşdeğerdir? A) (~p v~q) B) C) (p → q) D) (q → p) E) (~p ^ ~q)

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

X 2.~(p →~q) (1) 3.~~(p →-q) (1) Yukarıdaki ilk satırlarla başlayan çözümleyici çizelgede X yerine aşağıdaki önermelerden hangisi yazılabilir? (b-d)~(b-d)~)~( rular.net B) (~(P→~9) →~(p →-a)) ((b~< d) < (b~< d)~) 60 D) ((p →~q) → (p → ~q)) E) ((P →~q) → ~(p →~q))

X D D Y D D Y D Y 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) (~р < ~q)

"Bir grup önermenin tümünün aynı zamanda dogru olabilmesi" durumunda bu önermelerden oluşan kümenin taşıdığı mantıksal özellik aşağıdakilerden hangisidir? A) Çelişme 207 B) Yalınlık C) Geçerlilik D) Tutarlılık E) Geçersizlik

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

F: a sanatçidır. G: a ressamdır. H: a heykeltraştır. Yukarıdaki çeviri anahtarına göre, }x (Fx ^ (Gx v Hx)) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir? A) Bazı sanatçılar ressam, bazı sanatçılar heykeltraştır. B) Bazı sanatçılar ya ressam ya heykeltraştır. C) Bazı sanatçılar hem' ressam, hem heykeltraştır. D) Her sanatçı ya ressam ya heykeltraştır. E) Ya her sanatçı ressam, ya da her sanatçı heykeltraştır.

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

Vx Fx ve Vy (HA ^ Fy)) önermelerinin birlikte tutarli ( 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 (На ^ Fy)) B) 1. Ex Fx 2. Зу (НА л Fy)) C) 1. ~t/xFx 2. ~Vy (Ha л Fy)) D) 1. ~Vx Fx 2. Vy (На л Fy)) E) 1. Vx Fx 2. Vy (Ha л Fy))

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

Jy VX (Fx → Gy) formülünden x niceleyicisinin {a, b} kümesindeki doğrusal açılımını bulurken vx niceleyicisinin elenmesiyle elde edilen deyim aşağıdakilerden hangisidir? A) (3y (Fa → Gy) ^ Jy (Fb → Gy)) B) ((Fa → ]y Gy) ^ (Fb → 3y Gy)) C) By ((Fa → Gy) ^ (Fb → Gy)) ar.net D) Fy (Fx → Gy) E) Vx (Fx → Gy)

Aşağıdakilerden hangisi Vx (Fx ^ ~Gx) önermesinin bir modelidir? A) SM = {a, b), FM = {a), GM = {(a, b} B) SM = {a, b}, FM = {a, b), GM = ( ) C) SM = {a, b), FM = ( ), GM = {J ar.net D) SM = {a, b), FM = {a, b}, GM = {a, b} E) SM = {a, b}, FM = {b}, GM = {a, b}

A ve B önermelerinin niceleme mantığı bakımından eşdeğer olduğunu göstermek için oluşturulacak çözümleyici çizelgenin başlangıç önermesi aşağıdakilerden hangisinde doğru olarak verilmiştir? A) ~(A +B) B) (Av B) C) (A + B) D) (A ^ B) E) ~ (A v B)

17 - 19. soruları aşağıdaki çizelgeye göre cevaplayınız. 1. Vx Fx V ~Jy (Ha → Ex) 2. VxFx 2. ~Jy (Ha → Fy) 3. X1 (2) 3. ХЗ (2) 4. X2 (2) Çözümleyici çizelge yöntemi ile, Vx Fx v ~Jy (HA → Fy)) - önermesinin doğruluk değerini hesaplamak üzere; SM = {a, b ), FM = {a), GM = {a, b}, AM = a modeli verilmiştir. 17. Çizelgede X1 yerine aşağıdakilerden hangisi yazılmalıdır? A) Fa v ~Jy (Ha → Fy) B) Fa ^ Fb C) Fa D) ~Зу (Ha → Fy) E) Зу (На → Fy)

Çizelgede X2 yerine aşağıdakilerden hangisi yazılmalıdır? A) Fa v~]у (На → Fy) B) Fa ^ Fb C) Fb D) ~]y (Ha → Fy) E) Зу (На → Fy)

Çizelgede X3 yerine aşağıdakilerden hangisi yazılmalıdır? A) vy~(Ha →Fy) B) Vy (Ha → Fy) C) 3y~(Ha →Fy) D) Fa v Fb E) Ey (Ha → Fy)

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? dot.s A) FA v GA :: ~HA → ]x (Jx ^ ~Hx) B) FA ^ GA :: ~HA → ]x (Jx →~Hx) C) FA v GA :: ~HA → Vx (Jx →~Hx) D) FA v GA :: ~HA → ~Vx (Jx ^ ~Hx) E) FA ^ GA :: ~HA → Vx (Jx →~Hx)