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

Aşağıdaki önermelerden hangisi "a sayısının 2 ile bölünebilmesi, a sayısının çift sayı olması için gerekli koşuldur." önermesi ile aynı yargıyı bildirir? A) a sayısı hem çift sayı hem de 2 ile bölünebilen bir sayıdır. B) a sayısı 2 ile bölünür ise, a sayısı çift sayıdır. C) a sayısı çift sayı değil ise, a sayısı 2 ile bölünür. D) a sayısı ya çift sayıdır ya da 2 ile bölünür. E) a sayısı çift sayı ise, a sayısı 2 ile bölünür.

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

Bir ifadenin anlamının bulanık olması ne demektir? A) Bu ifadenin yanlış olması B) Bu ifadenin birden çok nesneye uygulanabilmesi C) Bu ifadenin hiçbir nesneye uygulanamaması D) Bu ifadenin hangi durumlara, hangi varlıklara uygulanacağının kesin olarak belirlenememesi E) Bu ifadenin anlamsız olması

p: Galileo bir fizikçidir. q: Galileo bir filozoftur. r: Bazı filozoflar fizikçidir. s: Bazı fizikçiler filozoftur. Yukarıdaki sembolleştirme anahtarına göre, "Galileo hem fizikçi hem de filozoftur. O halde, bazı filozoflar fizikçi ve bazı fizikçiler filozoftur." Çıkarımının sembolik karşılığı aşağıdakilerden hangisidir? A) p^q :: sar B) paq :ras C) pvq ::s →r D) pvq :: svr E) paq ::r →s

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

Aşağıdakilerden hangisinde hiçbir niceleyici ifade kullanılmadan tümel-nicelemeli bir önerme dile getirilmiştir? A) Her insan düşünür. B) İnsan akıllıdır. C) Bazı insanlar felsefecidir.@ rular.net D) Çoğu canlı suda yaşar. E) Kimi canlılar omurgalıdır.

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

Aşağıdakilerden hangisinde değilleme eklemi sadece atomik formüllere uygulanmıştır? A) Ex (~Vy (Fw ^ Gy) v 3 w (Fx ^ Gx)) B) x (Vy (Fw ^ Gy) v 3 w (Fx^ ~Gx)) C) x (Vy (Fw Gy) v 3W ~ (Fx^ Gx)) D) Ex (Vy (Fw ^ Gy) v ~] w (Fx ^ Gx)) E) Ex (Vy ~ (Fw ^ Gy) v 3 w (Fx ^ Gx))

Vy ]x (Gy ^ Hz) ön-nicelemeli normal biçimdeki formülünün matrisi aşağıdakilerden hangisidir? A) Vy 3x (Gy л Hz) B) (Gy ^ Hz) C) Hz D) Gy E) =x (Gy ^ Hz)

Aşağıdaki önermelerden hangisi SM = {a,b,c), FM = (a,b), GM = {b,c} modelinde doğrudur? A) Vx (Fx v Gx) B) Vx (Fx ‹Gx) C) Vx (Fx^ Gx) D) Vx (Fx → Gx) E) V/x Fx v Vx Gx

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

Aşağıdakilerden hangisi Vx(Gx +> HA) :: HB çıkarımının denetlenebileceği bir modeldir? A) SM = {a,b,c), GM = (b}, HM = {c}, AM = a, BM = b B) SM = {a,b}, GM = {b}, AM = a, BM = {c} C) SM = {a,b,c}, GM = {b), HM = (c), AM = {a,b}, BM = {c} D) SM = (a,b}, GM = {b}, HM = {C}, AM = {a,b,c} E) SM = {a,b}, GM = {b), HM = {c}, AM = a, BM = {c}

1. 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 = {b}, G = { } modelinde doğrudur. B) A önermesinin doğrulayıcı yorumlaması yoktur. 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 = {a,b}, G = {a,b} modelinde doğrudur

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 :: Jx (Fx ^ Gx)crular.net B) GA → FA :: 3x (Fx → Gx) C) GA ^ FA :: 3x (Fx → Gx) D) GA ^ FA :: 3x (Fx ^ Gx) E) GA ^ FA :: Ix (Fx v Gx)

"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) ~/x (Fx→~Gx) E) ~ Vx (Fx → Gx)

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

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

Vy (Fy → Vx Fx) önermesinin, evreni {a, b} olan bir modelde doğruluk değerini çözümleyici çizelge ile hesaplarken, çizelgedeki ilk noktalar aşağıdakilerden hangisidir? 1. Vy (Fy → Vx Fx) 2. (Fa → Vx Fx) 2. (Fb → Vx Fx) B) 1. Vy (Fy → Vx Fx) 2. (Fy → Vx Fx) C) 1. Vy (Fy → Vx Fx) 2. (Fa ^ Fb) → Vx Fx D) 1. Vy (Fy → Vx Fx) 2. (Fa v Fb) → Vx Fx E) 1. Vy (Fy → Vx Fx) 2. (Fa → Vx Fx) 3. (Fb → Vx Fx)

1.~ A k. Fa k. Fb k+1. Ga k+1. ~ Fa k+2. Gb k+1. ~ Ga k+3. ~Fb 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}, F = {b}, G = {b} modelinde doğrudur. C) A önermesi S = (a,b}, F = {b), G = {} modelinde doğrudur. D) A önermesi S = {a,b), F = {a), G = {a,b} modelinde yanlıştır. E) A önermesinin yanlışlayıcı yorumlaması yoktur.

F: a canlıdır. G: a omurgalıdır. H: a omurgasızdır. Verilen çeviri anahtarına göre, 3x(Fx ^ (~Gx ^ ~Hx)) önermesinin gündelik dile çevirisi olan önerme aşağıdakilerden hangisidir? A) Her canlı ya omurgalı ya omurgasızdır. B) Her canlı ya omurgalı değil ya omurgasız değildir. C) Hiçbir canlı hem omurgali hem de omurgasız değildir. D) Bazı canlilar ne omurgalı ne de omurgasizdir. E) Bazı canlılar hem omurgalı hem de omurgasizdır.