2017–2018 Yaz Okulu Çıkmış Soruları

Bir çıkarımın geçerli olduğunu göstermek için çözümleyici çizelge yöntemine göre yapılması gereken aşağıdakilerden hangisidir? A) Çıkarımın çizelgesini yapıp tüm dalların açık olduğunu göstermek B) Çıkarımın çözümleyici çizelgesini yapıp bazı dalların açık olduğunu göstermek C) Çıkarımın çözümleyici çizelgesini yapıp tüm dalların kapalı olduğunu göstermek D) Sonuç önermesinin çizelgesini yapıp tüm dalların kapalı olduğunu göstermek E) Sonuç önermesinin değilinin çizelgesini yapıp tüm dalların açık olduğunu göstermek

p: Edebiyat gündelik dille yapılmaktadır. q: Edebiyat içın 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çı 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) :: (s → r) B) (p → q) :: (r → s) C) (q → p) :: (r → s) D) (p <> q) :: (r → s) E) (p <> q) :: (s → r)

Bir A önermesinin çözümleyici çizelgesinde açık kalan dal olması durumunda aşağıdakilerden hangisi kesin olarak doğrudur? A) A önermesinin doğrulayıcı yorumu vardır. B) ~A önermesinin doğrulayıcı yorumu vardır. C) A önermesinin yanlışlayıcı yorumu vardır. D) A önermesi totolojidir. E) ~A önermesi çelişki önermesidir.

Aşağıdakilerden hangisi zayıf bir tümevarımlı çıkarımdır? A) Ahmet Ingilizce öğretmenidir. O halde, Ahmet ingilizce bilir. B) Bugün yaz tatili bitti ve okullar açıldı. O halde, trafik bugün düne göre daha yoğundur. C) Şu anda işten çıkış saati. O halde, ana caddede trafik yoğundur. o D) Ahmet Ingilizce öğretmenidir. O halde, Ali'nin matematik bilgisi iyidir. E) Ahmet öğretmendir. O halde, Ahmet üniversitede okumuştur.

p: Ali mantık dersini alacak. q: Ali matematik dersini alacak. r: Mantık dersi eğlencelidir. s: Matematik dersi eğlencelidir. Yukarıdaki sembolleştirme anahtarına göre, "Hem mantık hem matematik dersi eğlenceli ise, Ali ya mantık ya da matematik dersini alacak." önermesinin sembolik biçimi aşağıdakilerden hangisidir? A) (r^ s) v (p v q) ar.net B) (r^ s) → (p v q) C) (rv s) → (p v q) D) (r ^ s) → (p ^ q) E) (r^ s) ^ (p v q)

Aşağıdaki terimlerden hangisi çok-anlamlı değildir? A) Aş B) At C) Yaz D) Kır E) Kedi

B Y D D Y Y D Y Y Yukarıdaki doğruluk tablosuna göre, aşağıdakilerden hangisi kesin olarak doğrudur? A) (A « B) önermesi totolojidi ular. B) (A v B) önermesi totolojidir. C) (B → A) önermesi totolojidir. D) (A → B) önermesi totolojidir. E) (A ^ B) önermesi çelişkidir.

Aşağıdaki önermelerden hangisi bir totolojidir? A) (~p v ~p) B) ~(p^~p) C) (pv p) D) (~р → ~~p) E) / ~(p +>p)

A P ~9 ~p Yukarıdaki tamamlanmış çözümleyici çizelgeye gore, aşağıdakilerden hangisi kesinlikle yanlıştır? A) p: Y, q: D ise, A önermesi doğrudur. B) p: D, q: Y ise, A önermesi yanlıştır. C) ~A önermesi totoloji değildir. D) A önermesi tutarlıdır E) A önermesi totolojidir.

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

Çö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.~/x (Fa v~Fx) 2. JX ~ (Fa v ~Fx) B) 1. Vx (Fa v ~Fx) Siste 2. Jx (Fa v ~FX) C) 1. Vx (Fa v ~Fx) 2. Fa 3. ~Fx D) 1. Vx (Fa y Fx) .net 2. Fa 2.~Fx E) 1. Vx (Fa v ~Fx) 2. Fa ^ ~FX

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) Vx (Fx → Hx) → Vx (Fx→~Gx) B) ]x (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)

F: a sayıdır. G: a çift sayıdır. H: a tek sayıdır. Verilen çeviri anahtarına göre VX (FX → ~ (Gx ^ Hx)) önermesinin gündelik dile çevirisi olan önerme aşağıdakilerden hangisidir? A) Bir şey sayı ise, o şey ya çift sayı ya tek sayıdır. B) Her sayı hem çift sayı hem tek sayıdır. C) Her şey hem çift sayı hem tek sayıdır. D) Hiçbir sayı hem çift sayı hem tek sayı değildir. E) Bir şey sayı ise, o şey hem çift sayı hem tek sayıdır.

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

Jy Vx (Fx Gy) formülünden Vx niceleyicisinin {a, b} kümesindeki doğrusal açılımını bulurken x niceleyicisinin elenmesiyle elde edilen deyim aşağıdakilerden hangisidir? A) (Ey (Fa → Gy) ^ Jy (Fb → Gy)) B) ((Fa → 3y Gy) ^ (Fb →Зу Gy) C) ]y ((Fa → Gy) ^ (Fb→Gy))ª1 D) Vx (Fx → Gy) •Под E) By (Fx → Gy)

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

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

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

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

"Her F G'dir." önerme biçiminin sembolik karşılığı aşağıdakilerden hangisidir? A) Vx (Fx ^ Gx) B) | Vx Fx ^ Vx Gx C) Vx (Fx → Gx) D) vx Fx → Vx Gx E) VX (Fx v GX)