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

~A k. B 1. C x x Yukarıdaki tamamlanmış çözümleyici çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur? A) ~A önermesi totolojidir. B) ~A önermesi tutarlidir. 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.

Aşağıdaki önermelerden hangisi bir çelişki önermesidir? A) (p vp) ^ ~p (d~ v d) ^ d~ (g D) (-p v q) → (p 1 9) (b 1 d) < (b~vd) (0 E) (~p v ~q) → p

Aşağıdakilerden hangisi sembolleştirmeye başvurulmasının nedenlerinden biridir? A) Sembolleştirilmemiş ifadelerin anlamının bulanık olması B) Sembolleştirmenin söylemek istediğimizi daha kısa ifade etmemizi sağlaması C) Her tümcenin kolayca sembolleştirilebilir olması D) Sembolleştirilmiş ifadelerin daha kolay anlaşılır olması E) Tüm sembolik ifadelerin doğru olması

Aşağıdaki önermelerden hangisi mantıksal olarak doğrudur? A) Bazı masalar çalışma masasıdır. B) Masa ya 2 ayaklıdır ya da değildir. D) Masa ya 2 ya da 3 ayaklıdır. C) Bazı masalar 4 ayaklıdırprular.net E) Bazı masalar tek ayaklıdır.

p: Edebiyat gündelik dille yapılmaktadır. q: Edebiyat için iyi bir dilbilgisi gereklidir. r: Mehmet dilbilgisinde başarılıdır. s: Mehmet iyi bir edebiyatçı olabilir. Verilen sembolleştirme anahtarına göre, "Edebiyat gündelik dille yapılmakta ise, edebiyat için iyi bir dilbilgisi gereklidir. O halde, Mehmet'in iyi bir edebiyatçi olabilmesinin gerekli bir koşulu, dilbilgisinde başarılı olmasıdır." çıkarımının sembolik karşılığı aşağıdakilerden hangisidir? A) (p → q) :: (r → s) B) (p <> q) :: (s → r) C) (q → p) :: (r → s) D) (p → q) :: (s → r) E) (p <> q) : (r → s)

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? aot. A) t:: (p^ q) v (r^ s) B) (pvq) :: tv (r → s) C) t :: (p ^ q) → (rv s) D) (pvq) :: t → (r^ s) E) t: (p ^ q) → (r ^ s)

AşağıdakiR önermelerden hangisi bir totolojidir? A) ~(p <>p) B) ~ (p ^~p) C) (~p v ~p) D) (~p → ~~p) E) (p v p)

A k ~p k+1 ~9 Yukarıdaki tamamlanmış çizelgeye göre aşağıdakilerden hangisi kesinlikle yanlıştır? A) ~A önermesi totoloji değildir. B) A önermesi çelişki önermesidir C) A önermesi tutarlıdır. D) p: Y, q: Y ise, A önermesi doğrudur. E) A önermesi totolojidir.

A k. Fa k+1. Ga k+2. Gb k+3. ~Fb Verilen tamamlanmiş ç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}, F = (a,b), G = {a,b} modelinde doğrudur. 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.

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

"Bazı F G'dir." önerme biçiminin sembolik karşılığı aşağıdakilerden hangisidir? A) 3x (Fx <> Gx) B) ]x (Fx v Gx) C) x (Fx → Gx) D) 3x (Fx ^ Gx) E) (3x Fx ^ Ix Gx)

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

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

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) (A «B) C) (A^ B) D) (A v B) E) ~ (A v B)

S = fa, b} olsun. Bu durumda Vx (Fx → 3y (Hy + GA)) önermesinin S kümesindeki doğrusal açılımı aşağıdakilerden hangisidir? A) (Fa → ((Ha + GA) v (Hb <> GA))) v (Fb → ((Ha <> GA) v (Hb < GA))) B) ((Fa v Fb) → ((Ha <> GA) v (Hb <> GA))) C) ((Fa v Fb) → ((Ha <> GA) ^ (Hb< GA))) D) ((Fa ^ Fb) → ((Ha <> GA) v (Hb < GA))) E) (Fa → ((Ha < GA) v (Hb <> GA))) ^ (Fb → ((Ha +> GA) v (Hb <> GA)))

F: a sanatçidır. G: a ressamdır. H: a heykeltraştır. Yukarıdaki çeviri anahtarına göre, 3x (Fx ^ (Gx v Hx)) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir? A) Bazı sanatçılar ya ressam ya heykeltraştır. B) Bazı sanatçılar ressam, bazı sanatçılar heykeltraştir. 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ğıdakilerden hangisi "En az bir canlı omurgalıdır." önermesi ile aynı yargıyı dile getirir? A) En az bir canlı omurgalı değildir. B) Bazı omurgalılar canlı değildir. C) Bazı canlılar omurgalıdır. rular.net D) En az bir canlı omurgasızdır. E) Her omurgalı canlı değildir.

Aşağıdakilerden hangisi ön-nicelemeli normal biçimdeki bir formüldür? A) Ex Vy(3 w (Fw ^ Gy) v (~Fx ^ Gx)) B) x (Vy 3 W (Fw 1 Gy) v (~Fx ^ Gx)) x Vy w ((Fw^ Gy) v (~Fx^ Gx)) D) Ex (Vy (Fw ^ Gy) v 7 W (~Fx ^ Gx)) E) Ex Vy ((Fw ^ Gy) v 3 W (~Fx ^ Gx))

Vx Fx ve Vy (HA ^ Fy)) önermelerinin birlikte tutarli oldugunu 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. ~Vx Fx 2. ~Vy (Ha ^ Fy)) C) 1. Ex Fx .sorular.ne 2. Зу (НА ^ Fy)) D) 1. Vx Fx 2. ~ Vy (Ha ^ Fy)) E) 1. VxFx 2. Vy (Ha ^ Fy))

F: a bir felsefecidir. G: a bir mantıkçıdır. Verilen sembolleştirme anahtarına göre "Her mantıkçı felsefecidir ama her felsefeci mantıkçı değildir." önermesinin sembolik karşılığı olan önerme aşağıdakilerden hangisidir? A) Vx ((Fx → Gx) ^ (Gx →~Fx)). ar.net B) Vx ((Fx → Gx) ^ ~ (Gx → Fx)) C) Vx (Gx → Fx) → Vx (Fx → Gx) D) Vx (Gx → Fx) → ~V/x (Fx → Gx) E) Vx (Gx → Fx) ^ ~Vx (Fx → Gx)