Sembolik Mantık
2015–2016 Tek Ders Çıkmış Soruları
- 20 soru
- Cevap anahtarı açık: çöz, sonucunu gör
- 1

Soru metni
Çözümleyici çizelge yöntemine göre, aşağıdaki durumlardan hangisinde A önermesinin bir yanlışlayıcı yorumlaması yoktur? A) A önermesinin çizelgesinde açık kalan en az bir dal var ise B) A önermesinin çizelgesinde tüm dallar açık kalır ise C) ~A önermesinin çizelgesinde tüm dallar kapanır ise D) ~A önermesinin çizelgesinde açık kalan en az bir dal var ise E) ~A önermesinin çizelgesinde tüm dallar açık kalır ise - 2

Soru metni
Aşağıdaki önermelerden hangisi (p v q) önermesini içermez? A) q C) (p v q) D) ~(p → p) E) p - 3

Soru metni
Aşağıdakilerden hangisi "yeşil" sözcüğünün sentaktik özelliklerinden biridir? A) Bir sıfat olması B) Beş harfli bir sözcük olması C) Kolay anlaşılması rular.net D) Çok - anlamlı olması E) Sık kullanılan bir sözcük olması - 4

Soru metni
Aşağıdakilerden hangisi tümdengelimli mantiğa göre geçerli bir çıkarımdır? A) Kedi canlıdır. O halde, kedi hareket edebilir. B) Sokrates bir felsefecidir. O halde, Sokrates bir felsefecidir. C) Kuğu yer kaplar. O halde, tüm kuğular siyahtır. D) Bazı canlilar felsefecidir. O halde, bazı insanlar felsefecidir. E) Bazı şehirler kalabalıktır. O halde, şehir yaşamı zordur. - 5

Soru metni
Aşağıdakilerden hangisi güçlü bir tümevarımlı çıkarımdır? A) Yarın hava sıcaklığı artacak. O halde, yarın Salı günüdür. B) Yarın Salı günüdür. O halde, yarın hava sıcaklığı artacak. C) Yarın hava sıcaklığı azalacak. O halde, yarın vantilatör satışları artacak. e D) Önümüzdeki hafta çok sıcak olacak. O halde, önümüzdeki hafta vantilatör satışları artacak. E) Yarın hava sıcaklığı azalacak. O halde, yarın dondurma satışları artacak. - 6

Soru metni
Aşağıdakilerden hangisi bir çelişki önermesidir? A) (P v ~p) B) ~(p v ~p) C) (~p v ~p) D) (p vp) E) ~ (p v p) - 7

Soru metni
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 m 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) :: (r → s) 2o'. B) (p → q) :: (r → s) C) (q → p) :: (r → s) D) (p <> q) :: (s → г) E) (p → q) :: (s → r) - 8

Soru metni
Aşağıdaki önermelerden hangisi (p → p) önermesi ile eşdeğerdir? A) (~p vp) B) (p vp) C) (~p v ~p) D) ~(p → p) E) ~(~р → ~p) - 9

Soru metni
p: Fizik yasaları matematiksel olarak dile getirilebilir. q: Bazı düşünürlere göre, tüm matematik kavramları fiziksel gerçeklikten soyutlayarak elde edilir. r: Kimi matematik kavramların gözlemlenebilir bir örneği yoktur. Yukarıdaki çeviri anahtarına göre, r ^ q :: p sembolik çıkarımının gündelik dile çevirisi aşağıdakilerden hangisidir? A) Bazı düşünürlere göre, kimi matematik kavramların gözlemlenebilir bir örneği olmadığında, tüm matematik kavramları fiziksel gerçeklikten soyutlayarak elde edilmemiştir. O halde, fizik yasaları matematiksel olarak dile getirilebilir. B) Kimi matematik kavramların gözlemlenebilir bir örneği olmamasının yeterli koşulu, bazı düşünürlere göre e tüm matematik kavramların fiziksel gerçeklikten soyutlayarak elde edilmesidir. O halde, fizik yasaları matematiksel olarak dile getirilebilir. C) Kimi matematik kavramların gözlemlenebilir bir örneği yok ise, bazı düşünürlere göre tüm matematik kavramları fiziksel gerçeklikten soyutlayarak elde edilir. O halde, fizik yasaları matematiksel olarak dile getirilebilir. D) Kimi matematik kavramların gözlemlenebilir bir örneği olmasa da, bazı düşünürlere göre tüm matematik kavramları fiziksel gerçeklikten soyutlayarak elde edilir. O halde, fizik yasaları matematiksel olarak dile getirilebilir. E) Bazı düşünürlere göre, tüm matematik kavramları fiziksel gerçeklikten soyutlayarak elde edilmediği için, kimi matematik kavramların gözlemlenebilir bir örneği yoktur. O halde, fizik yasaları matematiksel olarak dile getirilebilir. - 10

Soru metni
1. -(X → Y) 2. P 3. ~(q +p) Yukarıdaki çözümleyici çizelgede X ve Y yerine sırasıyla aşağıdaki önermelerden hangileri gelmelidir? A) p, (q +> p) B) ~p, (q <> p) C) p, ~ (q <> p) D) ~p, ~(q → p) E) ~р, ~~(q + p) - 11

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

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

Soru metni
Aşağıdakilerden hangisi "Bazı F G'dir." önermesinin değilidir? A) Bazı F G degildir. B)En az bir G F değildir. D) En az bir F G değildirof. C) Her F G dir. E) Hiçbir F G değildir. - 14

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

Soru metni
Aşağıdaki önermelerden hangisi SM = {a,b}, FM = {a,b), AM = b modelinde doğrudur? A) Vx (Fx ^ ~FA) B) Vx Fx ^ ~FA C) vx Fx→FA D) VX~Fx ^ FA E) Vx Fx →~FA - 16

Soru metni
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 onermesi S = {a,b), F = {a}, G = {a,b} modelinde yanlıştır. 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 önermesinin doğrulayıcı yorumlaması yoktur. E) A önermesinin yanlışlayıcı yorumlaması yoktur. - 17

Soru metni
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 :: Ex (Fx → Gx): B) GA → FA :: 7x (Fx → Gx) .net C) GA → FA :: 3x (Fx ^ Gx) D) GA ^ FA :: 3x (Fx v Gx) E) GA ^ FA :: Ex (Fx ^ Gx) - 18

Soru metni
Jy (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? A) 1. ~]y (Fy → Vx Fx) 2. ~y (Fy → Vx Fx) B) 1. ~]y (Fy → Vx Fx) 2. ~ (Fa → Vx Fx) 3.~ (Fb → Tx Fx) 1. Jy (Fy → Vx Fx) 2. (Fa → Vx Fx) a0 2. (Fb → VX FX) D) 1. Зy (Fy → Vx Fx) 2. (Fa → Vx Fx) 3. (Fb → Vx Fx) E) 1. ~Jy (Fy → Vx Fx) 2. (Fy → Vx Fx) - 19

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

Soru metni
Aşağıdakilerden hangisi kategorik önermelerden biri değildir? A) Bazı canlılar omurgalı değildir. B) Bazı fizikçiler felsefecidir. c) Hiçbir at omurgasız degidir.llar.net D) Çoğu canlı omurgalıdır. E) Her insan akıllıdır.
Bir şıkka dokun; doğru cevap hemen görünür.