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

Bir grup önermenin birlikte tutarlı olması ne demektir? A) Bu önermelerin tümünün aynı anda yanlış olabilmesidir. B) Bu önermelerin en az birinin doğru olmasıdır. C) Bu önermelerin tümünün aynı anda doğru olabilmesidir. D) Bu önermelerin hepsinin yanlış olmasıdır. E) Bu önermelerin tümünün anlamlı olmasıdır.

Aşağıdaki terimlerden hangisinin anlamı bulanık değildir? A) Akıllı B) Su C) Az D) Sürü E) Uzak

Aşağıdakilerden hangisi "kırmızı" sözcüğünün sentaktik bir özelliğidir? A) Renk sözcüğünden daha az genel olması B) "Al" sözcüğü ile eş anlamlı olması C) Bir sıfat olması D) Sık kullanılan bir sözcük olması E) "" harfinin üç kez geçmesi

Aşağıdaki önermelerden hangisi (p → ~ p) önermesi ile eşdeğerdir? A) P^ ~P B) P →P C) ~P → P D) ~ PV ~P E) pvp

Aşağıdaki önermelerden hangisi bir çelişki önermesidir? A) ~p^ ~р (d ~ v d) ~ (g C) (p → ~ p) D) ~(p ^ p) d~< (dvd)~ (=

Aşağıdaki önermelerin hangisinde "ve" sözcüğü tümel-evetleme eklemi anlamında kullanılmamıştır? A) Ali ve Veli kardeştir. B) Ali ve Ahmet Eskişehir'lidir. C) 2 ve 3 sayıları asal sayılardır./a D) 2 çift ve asal sayıdır. E) 2 sayısı 4 ve 6 sayılarını böler.

p: Bazı mantık kitapları zordur. q: Ali mantık dersi almaktadır. r: Ali mantık dersinde başarılı olmak istemektedir. Yukarıdaki sembolleştirme anahtarına göre, "Bazı mantık kitapları zor olmasına rağmen, Ali mantık dersi almakta ve mantık dersinde başarılı olmak istemektedir." önermesinin sembolik karşılığı aşağıdakilerden hangisidir? A) p^ (q^ r) В) (q ^ р) → г C) (9^ p) v r D) (q → p) ^ r E) (q v p) → r

p: Dünya Güneşin etrafinda döner. q: Dünya kendi ekseni etrafinda döner. r: Gece ve gündüz olur. s: Mevsimler olur. Yukarıdaki sembolleştirme anahtarına göre, "Dünya Güneşin etrafında döndüğünde mevsimler, kendi ekseni etrafında döndüğünde gece ve gündüz olur" önermesinin sembolik • karşılığı aşağıdakilerden hangisidir? A) (s → p) v (r → q) B) (p ^ г) v (q ^ s) C) (P → s) ^ (q → г) D) (S ^ p) → (r^ q) E) (q ^ r) ^ (s ^ p)

p: Ali iyi bir öğrencidir. 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) (q ^ г) → p В) р → (q → г) C) P → (q ^ г) D) (P → q) ^ (P → г) E) (P → (q v r))

Çözümleyici çizelge yöntemine göre hangi durumda önermenin en az bir doğrulayıcı yorumlaması vardır? A) Önermenin kendisinin çözümleyici çizelgesinde tamamlanmış bir kapalı dal varsa B) Onermenin değilinin çözümleyici çizelgesinde tamamlanmış bir kapalı dal varsa C) Tepe noktalarına önerme ve değili alt alta yazılarak oluşturulan çözümleyici çizelgede tamamlanmış bir kapalı dal varsa D) Tepe noktalarına önerme ve değili alt alta yazılarak çözümleyici çizelgede tamamlanmış bir açık dal varsa E) Önermenin kendisinin çözümleyici çizelgesinde tamamlanmış bir açık dal varsa

4. A 5. p 2.9 6. 9 3. ~p Yukarıdaki tamamlanmış çizelgeye göre aşağıdakilerden hangisi kesinlikle doğrudur? A) A önermesi çelişme önermesidir. B) A önermesi tutarlıdır. C) A önermesi totoloji önermesidir. D) A önermesinin yanlışlayıcı yorumlaması yoktur. E) A önermesinin doğrulayıcı yorumlaması yoktur.

Bir önermenin değilinin çözümleyici çizelgesi kapanır ise bu önerme nasıldır? A) Çok-anlamlıdır. B) Anlamı bulanıktır. C) Geçersizdir. D) Ön-nicelemelidir. E) Totolojidir.

(Fx ^ ~]y Hy) önermesinin ön-nicelemeli normal biçimi aşağıdaki önermelerden hangisidir? A) Vy (Fx v~Hy) B) vy (Fx ^~Ну) C) ~ Vy (Fx ^ Hy) D) Vy (FX → ~Hy) E) Зy~(Fx v Hy)

Aşağıdaki nicelemeli önermelerden hangisi önermeler mantiğ) gereği geçerli bir önermedir? A) VXFx v VxFx B) Vx(Fx → Vx~Fx) C) VX(Fx → 3xFx) D) VXFx v 3x~Fx E) ~(VXFX <>~VxFx)

Aşağıdakilerden hangisi Vx (Gx v ~3y Fy) önermesinin doğruluk değerinin denetlenebileceği bir modeldir? A) SM = {a), FM = (a), G' = (b} B) SM= {a), FM = (), G"= D C) SM = {a, b}. F" = (} D) Su = {a, b}, F' = {a}, G" = {a, c} .net E) Sm= {a, b}, FM = {b}, G"={c}

Aşağıdakilerden hangisi VX (Fx → 3y ~Gy) önermesinin bir karşı-modelidir? A) SM = {a, b}, FM = {a, b}, GM = J B) SM = {a, b), FM = (a, b}, G"' = (b} C) SM = {a, b}, FM = {a), GM = () D) Su = {a, b}, F' = {a}, G" = {a, b} •net E) SM = {a, b}, FM = {b}, G" = 0)

F: a katıdır G: a cisimdir H: a sicaktır K: a soğuktur Yukarıdaki çeviri anahtarına göre 3x ((Fx ^ Gx) ^ (~Hx ^ ~Kx)) önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir? A) Bazı katı cisimler ne sıcak ne soğuktur. B) Bazı katı cisimler ya sıcak ya soğuktur. C) Her katı cisim ya sıcak ya soğuktur. D) Her katı cisim hem sıcak hem soğuktur. E) Hiçbir katı cisim hem sıcak hem soğuk değildir.

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

1. VX ( (FA → Gx) <> X) X Yukarıdaki çizelgeye göre, aşağıdakilerden hangisi kesinlikle doğrudur? A) X önermesinin modeli yoktur. B) X önermesinin karşı-modeli yoktur.e 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.

1. A ~Fa k+1 Ga k+2 ~Gb k+3 Gc Yukarıdaki çizelgeye göre, aşağıdakilerden hangisi A önermesinin bir modelidir? A) M: SM = {a, b, c}, FM = (). GM = {b, c} B) M: Sm = {a, b, c}, FM = {a},G™= {a, b} C) M: SM = {a, b, c}, FM = f, GM = {a, c} D) M: SM = {a, b, c}, F" = {a},GM = {b} E) M: Sm = {a, b, c}, FM = {c),GM = {a, b, c}