2018-2019 - Sembolik Mantık - Final Sınavı

2018-2019 – Sembolik Mantık – Final Sınavı

1. Aşağıdakilerden hangisi bir çelişki önermesidir?

(p V p)

(p V ~p)

~(p V ~p)

(~p V ~p)

~ (p V p)

Doğru! Yanlış!

2. Aşağıdaki önermelerden hangisi bir totolojidir?

~p → ~(p Λ q)

(p V q) → (p Λ q)

(p V q) → ~p

(p V q) → q

~p → (p Λ q)

Doğru! Yanlış!

3. Aşağıdakilerden hangisi tümdengelimli mantığa göre geçerli bir çıkarımdır?

Kedi canlıdır. O halde, kedi hareket edebilir.

Bazı canlılar felsefecidir. O halde, bazı insanlar felsefecidir.

Sokrates bir felsefecidir. O halde, Sokrates bir felsefecidir.

Kuğu yer kaplar. O halde, tüm kuğular siyahtır.

Bazı şehirler kalabalıktır. O halde, şehir yaşamı zordur.

Doğru! Yanlış!

4. Aşağıdaki çeviri anahtarına göre, “Bütün varoluşçu düşünürler edebiyatın felsefeden ayrılamayacağını savunmaktadır. O halde, hem Sartre hem Camus varoluşçu bir düşünür ise, hem Sartre hem Camus bir edebiyatçıdır.” çıkarımının sembolik karşılığı aşağıdakilerden hangisidir?

(p V q) ∵ t V (r → s)

t ∵ (p Λ q) → (r Λ s)

t ∵ (p Λ q) → (r V s)

t ∵ (p Λ q) V (r Λ s)

(p V q) ∵ t → (r Λ s)

Doğru! Yanlış!

5. Aşağıdaki tümcelerden hangisi bir önermedir?

Keşke o film buradaki sinemada oynasa.

Sakın terliyken soğuk su içme.

Bana dedin ha!

1 en küçük tek doğal sayıdır.

Yarın yağmur yağacak mı?

Doğru! Yanlış!

6. Aşağıdakilerden hangisi niceleme mantığında bir basit (atomik) formüldür?

Ǝx Fx

~Ǝy (Gy Λ Hz)

Ǝy (Gy Λ Hz)

~HB

Doğru! Yanlış!

7. “Hiçbir F G değildir.” önerme biçiminin sembolik karşılığı olan önerme aşağıdakilerden hangisidir?

~∀x (Fx → Gx)

∀x (Fx → ~Gx)

~∀x (Fx → ~Gx)

∀x (~Fx → ~Gx)

∀x ~ (Fx → ~Gx)

Doğru! Yanlış!

8. Ǝx (Gx ↔ ~Fx) önermesinin {a, b} kümesindeki açılımı aşağıdakilerden hangisidir?

Ga V Gb) ↔ ~(Fa V Fb)

(Ga ↔ ~Fa) Λ (Gb ↔ ~Fb)

(Ga V ~Fa) ↔ (Gb V ~Fb)

(Ga Λ ~Fa) ↔ (Gb Λ ~Fb)

(Ga ↔ ~Fa) V (Gb ↔ ~Fb)

Doğru! Yanlış!

9. Aşağıdakilerden hangisi ∀x(~FA V (GB ↔ Hx)) önermesinin denetlenebileceği bir modeldir?

SM = {a,b}, FM = {a}, GM = {b}, HM = {c}, AM = {a,b,c}

SM = {a,b}, FM = {a}, GM = {b}, AM = a

SM = {a,b}, FM = {a}, GM = {b}, HM = {c}, AM = a

SM = {a,b,c}, FM = {}, GM = {b}, HM = {c}, AM = a, BM = b

SM = {a,b,c}, FM = {a}, GM = {b}, HM = {c}, AM = {a,b}, BM = b

Doğru! Yanlış!

10. 3x (Fx -> 3y~Gy) önermesi aşağıdaki modellerden hangisinde yanlıştır?

SM = {a, b}, F M = {},GM = {b}

SM = {a, b}, FM = {a}, GM = {b}

SM = {a, b}, FM = {b}, GM = {a}

SM = {a, b}, FM = {}, GM = {a}

SM = {a, b}, FM = {a,b}, GM = {a,b}

Doğru! Yanlış!

11. Aşağıdakilerden hangisi “Her cisim yer kaplar.” önermesi ile aynı yargıyı dile getirir?

Her yer kaplayan cisimdir.

En az bir cisim yer kaplar.

Çoğu cisim yer kaplar.

Bazı cisimler yer kaplar.

Tüm cisimler yer kaplar.

Doğru! Yanlış!

12. ∀x Fx ve ∀y (HA Λ Fy) önermelerinin birlikte tutarlı olduğunu göstermek için oluşturulacak çözümleyici çizelgenin başlangıcı aşağıdakilerden hangisinde doğru olarak verilmiştir?

1 ∀x Fx 2 ∀y (Ha Λ Fy)

1 ~∀x Fx 2 ~∀y (Ha Λ Fy)

1 ~∀x Fx 2 ∀y (Ha Λ Fy)

1 ∀x Fx 2 ~∀y (Ha Λ Fy)

1 Ǝx Fx 2 Ǝy (HA Λ Fy)

Doğru! Yanlış!

13. Aşağıdakilerden hangisi niceleme mantığının formüllerinden biri değildir?

Ǝx ~(~Fx → ~Fx)

Ǝx (~Fx → ~Fx)

~Ǝx (~Fx → ~Fx)

Ǝx ~(Fx → ~Fx)

Ǝx ~(~Fx)

Doğru! Yanlış!

14. Bir modelin evreni ya da taşıyıcı kümesi aşağıdakilerden hangisidir?

Önerme değişkenler kümesi

Boş küme

Modelin üzerine kurulduğu küme

Önerme eklemleri kümesi

Niceleyiciler kümesi

Doğru! Yanlış!

15. Aşağıdakilerden hangisi “En az bir canlı omurgalıdır.” önermesi ile aynı yargıyı dile getirir?

Bazı omurgalılar canlı değildir.

Bazı canlılar omurgalıdır.

En az bir canlı omurgasızdır.

En az bir canlı omurgalı değildir.

Her omurgalı canlı değildir.

Doğru! Yanlış!

16. 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?

GA Λ FA ∵ Ǝx (Fx → Gx)

GA Λ FA ∵ Ǝx (Fx V Gx)

GA Λ FA ∵ Ǝx (Fx Λ Gx)

GA → FA ∵ Ǝx (Fx → Gx)

GA → FA ∵ Ǝx (Fx Λ Gx)

Doğru! Yanlış!

17. SM = {a, b}, FM = {a}, GM = {a,b}, AM = a modeli verilmiş olsun, Ǝx (Fx V (GA → ∀yFy)) ö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?

(Fb V (GA → ∀yFy))

Ǝx (Fx V (Ga → ∀yFy))

(Fx V (Ga → ∀yFy))

Ǝx (Fx V (GA → ∀yFy))

(Fa V (GA → ∀yFy))

Doğru! Yanlış!

18. Aşağıdaki sembolleştirme anahtarına göre, Descartes bir felsefeci ve bir matematikçidir. O halde, Descartes bir düşünür değilse, hiçbir insan düşünür değildir. çıkarımının niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?

FA V GA ∵ ~HA → Ǝx (Jx Λ ~Hx)

FA V GA ∵ ~HA → ~∀x (Jx Λ ~Hx)

FA Λ GA ∵ ~HA → Ǝx (Jx → ~Hx)

FA Λ GA ∵ ~HA → ∀x (Jx → ~Hx)

FA V GA ∵ ~HA → ∀x (Jx → ~Hx)

Doğru! Yanlış!

2018-2019 - Sembolik Mantık - Final Sınavı

Durumun hiç iyi gözükmüyor. Çalışmanız gerekiyor. Hem de çok ve kaliteli çalışmanız gerekiyor. Çalışmadan, emek sarfetmeden kim başarılı olmuş ki sen olacaksın. Tembelliği bırakıp, çalışmaya başla. Hemen şimdi… Acele et, zaman çabuk geçiyor… Unutma; Başarı, hazırlık ve fırsatın buluştuğu yerdir.

Herhalde dersine şöyle bir bakıp geçmişsin. Çalışacaksın, çalışmadan olmaz. Emek sarfetmeden hiç olmaz. Çalışırsan başarılı olmaman için hiçbir sebep yok. Başarı, her gün tekrarlanan küçük çabaların toplamıdır. Vaktin mi yok? Hiç sanmıyorum. Telefona, televizyona ayırdığın zamanın azını derslerine ayırırsan bu iş olur ve olacaktır. Neden olmasın ki? Çok geç değil…

Sonuca göre durumunuz orta hallice gözüküyor. Ne iyisin ne de kötüsün diyebiliriz… Böyle de olmaz deyip hatanı telafi etmek için, kendine söz vermelisin. Daha başarılı olmanın yolu çalışmaktan, emek sarfetmekden geçiyor. Bunu unutma… İnat et ve başar. Başarmak için kendi iradenizin her şeyden çok daha önemli olduğunu asla unutmayın. Başarmak senin de hakkın...

Durumunu değerlendirecek olursak, iyiye yakınsın. Ama zirvede de değilsin. Niye değilsin? Biraz daha çaba gösterirsen, daha başarılı olacaksın gibi gözüküyor. Bundan sonra daha iyi olacağım, daha çok çalışacağım diye kendine söz ver ve inatla, azimle yoluna devam et. İnsan bir şeyi ciddi olarak istemeye görsün, hiçbir şey erişilemeyecek kadar yükseklerde değildir. Daha iyi olacaksın, emin olunuz…

Gayet iyi durumdasın ve başarılısın. Ancak, bu sonucu görüp de kendini bırakma. Başarının devamlı ve düzenli, kaliteli bir çalışmanın sonucunda geldiği hiç unutma. Her zaman zirveye doğru koşmaya devam et. Başarı mutluluk getirir, huzur getirir... Yolun açık, başarıların daim olsun…

Google Adsense Kodu

2018-2019 – Sembolik Mantık – Final Sınavı

1. Aşağıdakilerden hangisi bir çelişki önermesidir?

2. Aşağıdaki önermelerden hangisi bir totolojidir?

3. Aşağıdakilerden hangisi tümdengelimli mantığa göre geçerli bir çıkarımdır?

5. Aşağıdaki tümcelerden hangisi bir önermedir?

6. Aşağıdakilerden hangisi niceleme mantığında bir basit (atomik) formüldür?

7. “Hiçbir F G değildir.” önerme biçiminin sembolik karşılığı olan önerme aşağıdakilerden hangisidir?

8. Ǝx (Gx ↔ ~Fx) önermesinin {a, b} kümesindeki açılımı aşağıdakilerden hangisidir?

9. Aşağıdakilerden hangisi ∀x(~FA V (GB ↔ Hx)) önermesinin denetlenebileceği bir modeldir?

10. 3x (Fx -> 3y~Gy) önermesi aşağıdaki modellerden hangisinde yanlıştır?

11. Aşağıdakilerden hangisi “Her cisim yer kaplar.” önermesi ile aynı yargıyı dile getirir?

12. ∀x Fx ve ∀y (HA Λ Fy) önermelerinin birlikte tutarlı olduğunu göstermek için oluşturulacak çözümleyici çizelgenin başlangıcı aşağıdakilerden hangisinde doğru olarak verilmiştir?

13. Aşağıdakilerden hangisi niceleme mantığının formüllerinden biri değildir?

14. Bir modelin evreni ya da taşıyıcı kümesi aşağıdakilerden hangisidir?

15. Aşağıdakilerden hangisi “En az bir canlı omurgalıdır.” önermesi ile aynı yargıyı dile getirir?

16. 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?

17. SM = {a, b}, FM = {a}, GM = {a,b}, AM = a modeli verilmiş olsun, Ǝx (Fx V (GA → ∀yFy)) ö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?

18. Aşağıdaki sembolleştirme anahtarına göre, Descartes bir felsefeci ve bir matematikçidir. O halde, Descartes bir düşünür değilse, hiçbir insan düşünür değildir. çıkarımının niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?

2017-2018 – İstatistik – Final Sınavı

2016-2017 – Modern Felsefe II – Final Sınavı

Hukukun Temel Kavramları – Çalışma Testi (2)

Kültürlerarası İletişim ve Sosyal Medya – Çalışma Testi (5)

Kültürlerarası İletişim ve Sosyal Medya – Çalışma Testi (3)

Sosyal Psikolojiye Giriş II – Çalışma Testi (10)

Davranış Bilimleri – Çalışma Testi (3)

2017-2018 – Kamu Maliyesi – Vize Sınavı

Zihin Felsefesi – Çalışma Testi (2)

2016-2017 – İş ve Sosyal Güvenlik Hukuku – Üç Ders Sınavı

2018-2019 – Sembolik Mantık – Vize Sınavı

2015-2016 – Sembolik Mantık – Vize Sınavı