2014–2015 Tek Ders Çıkmış Soruları

Bir önermeler grubunun tutarlı olması ne demektir? A) Bu önermelerin tümünün aynı zamanda yanlış olabilmesi B) Bu önermelerin bazılarının aynı zamanda doğru olabilmesi C) Bu önermelerin en az birinin doğru olabilmesi D) Bu önermelerin en az birinin yanlış olabilmesi E) Bu önermelerin tümünün aynı zamanda doğru olabilmesi

Aşağıdakilerden hangisi olumsal olarak doğru önermeyi ifade eder? A) "A B dir" biçimindeki önermelerdir. B) Değilleme içermeyen önermelerdir. C) İçinde olumsuz hiçbir kavram geçmeyen önermelerdir. D) Herkesin olumlu karşıladığı önermelerdir. E) Gerçekliğin durumuna bağlı olarak doğru olan önermelerdir.

Tümdengelimli akıl yürütmenin amacı aşağıdakilerden hangisidir? A) Doğru öncüllerden yola çıktığımızda bizi mutlaka doğru sonuçlara ulaştıracağından emin olacağımız çıkarım biçimlerini bulmak B) Doğru öncüllerden yola çıktığımızda yüksek olasılıkla doğru sonuçlara ulaştıran çıkarım biçimlerini bulmak C) Istediğimiz sonucu yüksek olasılıkla doğru yapan öncülleri bulmamızı sağlayan çıkarım biçimlerini bulmak D) Sonucun doğruluğunun öncüllerin hepsinin bir arada doğru olmasını en iyi açıkladığı çıkarım biçimlerini bulmak E) Sonucun doğruluğunun öncüllerin doğru olma olasılığını arttırdığı çıkarım biçimlerini bulmak

9 A B D D D Y D Y Y D Y Y D Y Y D Y Yukarıdaki doğruluk tablosuna göre aşağıdakilerden hangisi kesinlikle doğrudur? A) (A ^ B) önermesi olumsaldır. B) (A v B) önermesi olumsaldır. C) (A → B) önermesi totolojidir. D) (A v B) önermesi totolojidir. E) (B → A) onermesi totolojidir.

(P ^ q) önermesi aşağıdaki önermelerden hangisini mantıksal olarak içermez? A) P B) ~ q C) 9 D) (p V q) E) (~9 →~9)

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

p: Ali iyi bir ögrencidir. q: Ali derslerine düzenli çalışır. r: Ali derslerine devam eder. Yukarıdaki sembolleştirme anahtarına göre, "Ali'nin iyi bir öğrenci olmasının yeterli koşulu, Ali'nin derslerine düzenli çalışması ve derslerine devam etmesidir." önermesinin sembolik karşılığı aşağıdakilerden hangisidir? A) P → (9 →г) В) р → (q ^ г) C) (р → 9) ^ (р → г) D) (9^ г) →p E) (P → (q v r))

p: Ali felsefe ögrencisidir. q: Ali sosyoloji öğrencisidir. r: Ali mantık dersi almalıdır. s: Ali psikoloji dersi almalıdır. Yukarıdaki sembolleştirme anahtarına göre, "Ali felsefe veya sosyoloji öğrencisi ise, Ali hem mantık hem de psikoloji dersi almalıdır" önermesinin sembolik karşılığı aşağıdakilerden hangisidir? A) ((p ^ q) → (r^ s)) B) ((p V q) → (r v s)) C) ((P → г) ^ (9 → s)) D) ((P V q) → (r ^ s)) E) ((P →г) v (9 → s))

m. ~((P Vr) →~9) m+1 X m+2 Y Yukarıda bir parçası verilen çozümleyici çizelgede X ve Y'nin yerine sırasıyla aşağıdaki önerme çiftlerinden hangisi yazılmalıdır? A) ~~(p^r), ~9 В) (р ^ г), ~q C) (p Vr), ~~9 D) ~ (р ^ г), ~9 Е) ~ (р ^ г),~~q

1) ~ (X + 9) 2) (pv q) 2) ~ (pvq) 3) ~ 9 3) 9 4) Y (2) 5) Z (2) Yukarıda bir parçası verilen çözümleyici çizelgede X, Y ve Z'nin yerine sırasıyla aşağıdaki önermelerden hangileri yazılmalıdır? A) (P V 9), ~p, ~q B) (P V q), p, ~q C) (P V q), ~p, q D) ~(p vq),~p,~ą E) ~(p vq), p, q

Aşağıdakilerden hangisi düzgün bir nicelemeli sembolik önerme değildir? A) (By Vx Jy Fx) v (Fy) B) Vx İy Jy (Fx v Fy) C) Tx (Jy Fx V~~]y Fy) D) 7x~~]y (Fx < Jy Fy) E) }y~(Vx~Fx < 3y Fy)

Aşağıdakilerden hangisi bir kapalı formüldür? A) Jy (Gx < Fy) v Vx~Gx B) Vy (Gy < Fy) v Jx~Gy C) Jy (Gy < Fy) v Vx~Gy D) Jy (Gy <> Fy) v Ix Gy E) Vy (Gy <> Fy) v Vx Gx

Aşağıdakilerden hangisi VX ~ (Fx <> Gx) önermesinin bir modelidir? A) SM= {a, b}, FM = D, G" = {} B) SM= {a, b}, F'= {a), GM = 16} C) Sm= {a, b}, FM= {a}, G"= {a} .net D) SM = {a, b}, FM = {b}, G"= {b} E) SM = {a, b}, FM = {a, b}, GM = {a, b}

Aşağıdakilerden hangisi Vx (Fx → 3y ~ Gy) önermesinin bir karşı-modelidir? A) SM= {a, b}, FM = {a, b}, G" = {} B) Sm={a, b}, F'= {a, b}, GM= {b} C) SM = {a, b}, FM = {a), G"a la, bhet D) SM = {a, b}, F' = {a}, GM = 1} E) SM = {a, b}, FM = {b}, G' = 1

F: a önermedir. G: a anlamlıdır. H: a tutarlıdır. K: a zorunludur. Yukarıdaki sembolleştirme anahtarına göre "Her anlamlı önerme zorunlu ise tutarlıdır" önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir? A) VX ((Gx ^ Fx) → (Gx ^ Hx)) B) Vx ((Gx v Fx) → (Gx vHx)) C) Vx ((Gx ^ Fx) → (Kx → Hx)) D) VX ((Gx ^ Fx) v (Gx ^ Hx)) E) Vx ((Gx v Fx) v (Gx ^ Hx))

F: a onermedir G: a anlamlıdır Hi a olanaksızdır K: a zorunludur Yukarıdaki sembolleştirme anahtarına göre "Bazı anlamlı önermeler ne zorunlu ne de olanak sızdır" önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir? A) ]x ((Gx ^ FX) ^ (~Kx ^~Hx)) B) x ((Gx ^ Fx) ^ ~(Kx ^ Hx)) C) ]x ((Gx v Fx) →~(Kx ^ Hx)) D) ]x ((Gx ^ Fx) V~(Kx v Hx)) E) ]x ((Gx v Fx) →~(Kx v Hx))

F: a agaçtır. G: a igne yapraklıdır. H: a yapraklarını doker. Yukarıdaki sembolleştirme anahtarına göre "Bazı iğne yapraklı ağaçlar yapraklarını döker" önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir? A) ]x (~(Fx ^ Gx) ^ Hx) B) ]x ~((Fx ^ Gx) ^ Hx) C) Ex ((Gx ^ Fx) ^ Hx) D) Jx ((Fx ^ Gx) ^ Hx) E) ]x ((Fx ^ Gx) →~Hx)

Çözümleyici çizelge ile A ve B B önermelerinin eşdeger oldugunu göstermek için yapılması gereken aşağıdakilerden hangisidir? A) (A ^ B) onermesinin çozumleyıcı çizelgesinde en az bir açık dal bulunduğunu göstermek B) (A v B) önermesinin çözümleyici çizelgesinde en az bir açık dal bulunduğunu göstermek C) (A → B) önermesinin çozümleyici çizelgesinin kapandığını göstermek D) ~(A → B) önermesinin çözümleyici çizelgesinin kapandığını göstermek of. E) ~(A → B) onermesinin çozümleyicı çizelgesinin kapandığını göstermek

Jv A tikel-nicelemeli önermesinin {a, b, c} kümesi üzerindeki bir modelde dogru olması ne demektir? A) A(a) ^ A(b) ^ A(c) ifadesinin bu modelde dogru olması B) A(a) V A(b) V A(C) Itadesinin bu modelde dogru olması C) A(a) V A(b) ^ A(c) itadesinin bu modelde doğru olması D) A(a) ^ (A(b) v A(c)) ifadesinin bu modelde dogru olması E) A(a) <> (A(b) ^ A(c)) ifadesinin bu modelde doğru olması

1. Vx ( (FA → Gx) < X) Yukarıdaki çizelgeye göre, aşağıdakilerden hangisi kesinlikle doğrudur? A) X önermesinin modeli yoktur. B) X önermesinin karşı-modeli yoktur. C) Vx (FA → Gx) önermesinin modeli yoktur. D) Vx ( (FA → Gx) <> X) önermesinin en az bir modeli vardır. E) Hem Vx (FA → Gx) önermesini hem de X önermesini doğru yapan model yoktur.