auzefFelsefeModern Mantıksosyoloji

Modern Mantık 2022-2023 Final Soruları

Modern Mantık 2022-2023 Final Soruları

#1. Aşağıdakilerden hangisi modal mantığın özellikle yapay zekâ alanında kullanılmasının sebebidir?

Cevap : D) Modal mantık sistemlerinin güçlü formel diller sayesinde çok daha ayrıntılı, nesnel ve geniş ölçüde ele alınır hâle gelmesi

#2. [ ∃x (Ax→Bx)∀y (Cy v Dy)]→ ∼∀x (Fx→Gx) ve ∼[ ∃x (Ax→Bx) ∀y (Cy v Dy)]→ ∼∀x (Fx→Gx) ifadeleri için aşağıdakilerden hangisi doğrudur?

Cevap : D) Özdeş değil

#3. ∀y(Ay→ By) ∀y (Cy v Dy) ve [∼∀y (Cy v Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

Cevap : C) Özdeş değil

#4. A ~ A I. D Y II. B Y III. Y D D: Doğru, Y: Yanlış, B: Belirsiz değerleri için yukarıdakilerden hangisi veya hangileri yanlıştır?

Cevap : C) Yalnız II

#5. Çelişmezlik ilkesi aşağıdaki seçeneklerden hangisinde doğru olarak tanımlanmıştır?

Cevap : B) Bir şey sadece kendisidir, kendisi olmayan olamaz.


#6. ∼[ ∃x (Ax→Bx) → ∀y (Cy v Dy)] ve [ ∼∃x (Ax→Bx)∼∀y (Cy v Dy) ] ifadeleri için aşağıdakilerden hangisi doğrudur?

Cevap : E) Özdeş değil

#7. Aşağıdakilerden hangisi [(∼q↔ ∼r)∨(q→r)]→[ q∧(∼ p↔q)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?

Cevap : C) [(∼Y↔ ∼r)∨(Y→r)]→[ Y∧(∼ p↔Y)]

#8. [∀x(Cx↔Dx)↔ ∼∀y(Cy v Dy)] ve [∀x(Cx .Dx)∼∀y (Cy ↔ Dy)] ifadeleri için aşağıdaki seçeneklerden hangisi doğrudur?

Cevap : A) Özdeş değil

#9. ∼[ ∃x (Ax→Bx) → ∀y (Cy v Dy) ] ve [ ∃x (Ax→Bx)∼∀y (Cy v Dy) ] ifadeleri için aşağıdakilerden hangisi doğrudur?

Cevap : B) Özdeş

#10. I. Tutarlıdır. II. Geçerlidir. III. Geçersizdir. (q ↔ ∼q)∨(p →q) ifadesi için yukarıdakilerden hangisi veya hangileri doğrudur?

Cevap : B) I ve III


#11. Aşağıdakilerden hangisi “iki değerli mantık” örneklerinden değildir?

Cevap : E) Çiçeklerin çok seviliyor olması veya az seviliyor olması

#12. ∼[ ∃x (Ax→Bx) ∀y (Cy → Dy)]→∼∀x (Fx→Gx) ve [ ∃x (Ax→Bx)∀y (Cy v Dy)]→ ∼∀x (Fx→Gx) ifadeleri için aşağıdakilerden hangisi doğrudur?

Cevap : A) Özdeş değil

#13. “Niceleyicinin eş değerliği” kurallarına göre aşağıdaki ifadelerden hangisi doğrudur?

Cevap : A) ~∃x Fx = ∀x ~Fx

#14. (∀x Fx ∀y Hy) ve (∃z Hz ∀x Hx ∃y Fy) ifadeleri için aşağıdakilerden hangisi doğrudur?

Cevap : D) Özdeş değil

#15. D: Doğru, Y: Yanlış, B: Belirsiz değerleri için yukarıdakilerden hangisi yanlıştır?

Cevap : D) 1


#16. Aşağıdakilerden hangisi klasik mantıkta kullanılan önerme gösterimlerinden biridir?

Cevap : B) SoP

#17. ∼[∀y (Cy → Dy)→ ∼∀y (Cy .Dy)] ve [∀y (Cy → Dy) . ∀y (Cy .Dy)] ifadeleri için aşağıdaki seçeneklerden hangisi doğrudur?

Cevap : E) Özdeş

#18. ∼[∀x(Cx .Dx)→ ∼∀x (Cx .Dx)] ve [∀x(Cx .Dx) . ∀x (Cx .Dx)] ifadeleri için aşağıdaki seçeneklerden hangisi doğrudur?

Cevap : E) Özdeş

#19. Aşağıdakilerden hangisi [(∼q→ p)↔(r→∼p)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?

Cevap : A) [(∼q→ p)↔(D→∼p)]

#20. [∀x(Cx .Dx)→ ∼∀x (Cx .Dx)] ve [∼∀x(Cx .Dx) v ∼∀x (Cx .Dx)] ifadeleri için aşağıdakilerden hangisi doğrudur?

Cevap : C) Özdeş


TESTi BiTiR, PUANINI GÖR

SONUÇ

-
Share your score!
Tweet your score!
Share to other

HD Quiz powered by harmonic design

Modern Mantık 2022-2023 Final Soruları

1. Aşağıdakilerden hangisi [(∼q→ p)↔(r→∼p)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?

A) [(∼q→ p)↔(D→∼p)]
B) [(∼q→ Y)↔(r→Y)]
C) [(∼q→ Y)↔(r→∼D)]
D) [(∼q→ D)↔(r→D)]
E) [(∼q→ D)↔(r→∼Y)]

Cevap : A) [(∼q→ p)↔(D→∼p)]

2. I. Tutarlıdır.
II. Geçerlidir.
III. Geçersizdir.
(q ↔ ∼q)∨(p →q) ifadesi için yukarıdakilerden hangisi veya hangileri doğrudur?

A) Yalnız III
B) I ve III
C) Yalnız II
D) I ve II
E) Yalnız I

Cevap : B) I ve III

3. [∀x(Cx↔Dx)↔ ∼∀y(Cy v Dy)] ve [∀x(Cx .Dx)∼∀y (Cy ↔ Dy)] ifadeleri için aşağıdaki seçeneklerden hangisi doğrudur?

A) Özdeş değil
B) Tutarlı
C) Geçerli değil
D) Özdeş
E) Belirsiz

Cevap : A) Özdeş değil

4. (∀x Fx ∀y Hy) ve (∃z Hz ∀x Hx ∃y Fy) ifadeleri için aşağıdakilerden hangisi doğrudur?

A) Geçerli değil
B) Özdeş
C) Belirsiz
D) Özdeş değil
E) Geçerli

Cevap : D) Özdeş değil

5. ∼[ ∃x (Ax→Bx) ∀y (Cy → Dy)]→∼∀x (Fx→Gx) ve [ ∃x (Ax→Bx)∀y (Cy v Dy)]→ ∼∀x (Fx→Gx) ifadeleri için
aşağıdakilerden hangisi doğrudur?

A) Özdeş değil
B) Geçerli
C) Tutarlı
D) Özdeş
E) Belirsiz

Cevap : A) Özdeş değil

6. “Niceleyicinin eş değerliği” kurallarına göre aşağıdaki ifadelerden hangisi doğrudur?

A) ~∃x Fx = ∀x ~Fx
B) ~∃x Fx = ∀x Fx
C) ∃x Fx = ∀x ~Fx
D) ∃x ~ Fx = ∀x ~Fx
E) ∃x Fx = ∀x Fx

Cevap : A) ~∃x Fx = ∀x ~Fx

7. Aşağıdakilerden hangisi klasik mantıkta kullanılan önerme gösterimlerinden biridir?

A) SuP
B) SoP
C) SiP
D) SöP
E) SüP

Cevap : B) SoP

8. A ~ A
I. D Y
II. B Y
III. Y D
D: Doğru, Y: Yanlış, B: Belirsiz değerleri için yukarıdakilerden hangisi veya hangileri yanlıştır?

A) I ve II
B) Yalnız III
C) Yalnız II
D) Yalnız I
E) II ve III

Cevap : C) Yalnız II

9. D: Doğru, Y: Yanlış, B: Belirsiz değerleri için aşağıdakilerden hangisi yanlıştır?

Modern Mantık 2022-2023 Final Soruları 9. SORU-min

A) 2
B) 5
C) 3
D) 1
E) 4

Cevap : D) 1

10. Aşağıdakilerden hangisi modal mantığın özellikle yapay zekâ alanında kullanılmasının sebebidir?

A) Modal mantığın diğer mantık sistemleri gibi içeriksiz ve sadece biçimsel bir yapıya sahip olması
B) Modal mantık sistemlerinin modaliteler dışında kalan önermelerle ilgilenmiyor olması
C) Modal mantık önermelerinin günlük konuşma dilinden kopuk bir yapıya sahip olması
D) Modal mantık sistemlerinin güçlü formel diller sayesinde çok daha ayrıntılı, nesnel ve geniş ölçüde ele alınır hâle gelmesi
E) Aristoteles’in modal mantık çalışmalarının Orta Çağ’da yeniden okunması

Cevap : D) Modal mantık sistemlerinin güçlü formel diller sayesinde çok daha ayrıntılı, nesnel ve geniş ölçüde ele alınır hâle gelmesi

11. ∼[ ∃x (Ax→Bx) → ∀y (Cy v Dy) ] ve [ ∃x (Ax→Bx)∼∀y (Cy v Dy) ] ifadeleri için aşağıdakilerden hangisi doğrudur?

A) Özdeş değil
B) Özdeş
C) Tutarlı değil
D) Geçerli
E) Tutarlı

Cevap : B) Özdeş

12. Çelişmezlik ilkesi aşağıdaki seçeneklerden hangisinde doğru olarak tanımlanmıştır?

A) Bir şey ya doğrudur ya da yanlıştır.
B) Bir şey sadece kendisidir, kendisi olmayan olamaz.
C) Bazı şeyler bazen doğru bazen yanlıştır.
D) Bir şey ne ise o’dur.
E) Bazı şeyler başka şeylere dönüşür.

Cevap : B) Bir şey sadece kendisidir, kendisi olmayan olamaz.

13. [ ∃x (Ax→Bx)∀y (Cy v Dy)]→ ∼∀x (Fx→Gx) ve ∼[ ∃x (Ax→Bx) ∀y (Cy v Dy)]→ ∼∀x (Fx→Gx) ifadeleri için
aşağıdakilerden hangisi doğrudur?

A) Tutarlı
B) Özdeş
C) Belirsiz
D) Özdeş değil
E) Geçerli

Cevap : D) Özdeş değil

14. Aşağıdakilerden hangisi [(∼q↔ ∼r)∨(q→r)]→[ q∧(∼ p↔q)] ifadesinin Quine yöntemiyle çözümü
sırasındaki aşamalardan biridir?

A) [(∼D↔ ∼r)∨(D→r)]→[ Y∧(∼ p↔q)]
B) [(∼D↔ ∼r)∨(Y→r)]→[D∧(∼ D↔q)]
C) [(∼Y↔ ∼r)∨(Y→r)]→[ Y∧(∼ p↔Y)]
D) [(∼Y↔ ∼r)∨(Y→r)]→[ D∧(∼ p↔D)]
E) [(∼Y↔ ∼r)∨(Y→r)]→[ Y∧(∼ p↔D)]

Cevap : C) [(∼Y↔ ∼r)∨(Y→r)]→[ Y∧(∼ p↔Y)]

15. ∼[∀x(Cx .Dx)→ ∼∀x (Cx .Dx)] ve [∀x(Cx .Dx) . ∀x (Cx .Dx)] ifadeleri için aşağıdaki seçeneklerden hangisi doğrudur?

A) Özdeş değil
B) Geçerli
C) Tutarlı
D) Geçerli değil
E) Özdeş

Cevap : E) Özdeş

16. Aşağıdakilerden hangisi “iki değerli mantık” örneklerinden değildir?

A) Odadaki sıcaklığın 20 derece olması veya olmaması
B) Işığın açık olması veya olmaması
C) Arabanın duruyor olması veya durmuyor olması (hareket etmesi)
D) Kapının kilitli olması veya olmaması
E) Çiçeklerin çok seviliyor olması veya az seviliyor olması

Cevap : E) Çiçeklerin çok seviliyor olması veya az seviliyor olması

17. ∼[∀y (Cy → Dy)→ ∼∀y (Cy .Dy)] ve [∀y (Cy → Dy) . ∀y (Cy .Dy)] ifadeleri için aşağıdaki seçeneklerden hangisi doğrudur?

A) Tutarlı
B) Belirsiz
C) Özdeş değil
D) Geçerli değil
E) Özdeş

Cevap : E) Özdeş

18. [∀x(Cx .Dx)→ ∼∀x (Cx .Dx)] ve [∼∀x(Cx .Dx) v ∼∀x (Cx .Dx)] ifadeleri için aşağıdakilerden hangisi
doğrudur?

A) Geçerli
B) Geçerli değil
C) Özdeş
D) Belirsiz
E) Özdeş değil

Cevap : C) Özdeş

19. ∀y(Ay→ By) ∀y (Cy v Dy) ve [∼∀y (Cy v Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?

A) Özdeş
B) Belirsiz
C) Özdeş değil
D) Geçerli
E) Geçersiz

Cevap : C) Özdeş değil

20. ∼[ ∃x (Ax→Bx) → ∀y (Cy v Dy)] ve [ ∼∃x (Ax→Bx)∼∀y (Cy v Dy) ] ifadeleri için aşağıdakilerden hangisi doğrudur?

A) Özdeş
B) Tutarlı değil
C) Tutarlı
D) Geçersiz
E) Özdeş değil

Cevap : E) Özdeş değil

Modern Mantık 2021 Final Soruları sosyoloji facebook grubu
Auzef Modern Mantık

Modern Mantık 2022-2023 Final Soruları

Editor

Editör

error: Kopyalamaya Karşı Korumalıdır!