Modern Mantık 2022-2023 Final Soruları
Modern Mantık 2022-2023 Final Soruları
#1. 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
#2. Aşağıdakilerden hangisi “iki değerli mantık” örneklerinden değildir?
Cevap : E) Çiçeklerin çok seviliyor olması veya az seviliyor olması
#3. 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)]
#4. ∀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
#5. ∼[∀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ş
Öğrenci Dostu Öğrenme Yönetim Sistemi Lolonolo, bol bol test yapmayı önerir.
#6. “Niceleyicinin eş değerliği” kurallarına göre aşağıdaki ifadelerden hangisi doğrudur?
Cevap : A) ~∃x Fx = ∀x ~Fx
#7. 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
#8. Ç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.
#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. Aşağıdakilerden hangisi klasik mantıkta kullanılan önerme gösterimlerinden biridir?
Cevap : B) SoP
Öğrenci Dostu Öğrenme Yönetim Sistemi Lolonolo, bol bol test yapmayı önerir.
#11. [∀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
#12. ∼[∀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ş
#13. ∼[ ∃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
#14. [∀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ş
#15. 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)]
Öğrenci Dostu Öğrenme Yönetim Sistemi Lolonolo, bol bol test yapmayı önerir.
#16. 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
#17. (∀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
#18. [ ∃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
#19. D: Doğru, Y: Yanlış, B: Belirsiz değerleri için yukarıdakilerden hangisi yanlıştır?
Cevap : D) 1
#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?
Cevap : E) Özdeş değil
Öğrenci Dostu Öğrenme Yönetim Sistemi Lolonolo, bol bol test yapmayı önerir.
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)] Cevap : A) [(∼q→ p)↔(D→∼p)] |
2. I. Tutarlıdır.
|
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 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 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
|
6. “Niceleyicinin eş değerliği” kurallarına göre aşağıdaki ifadelerden hangisi doğrudur?A) ~∃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 Cevap : B) SoP |
8. A ~ A
|
9. D: Doğru, Y: Yanlış, B: Belirsiz değerleri için aşağıdakilerden hangisi yanlıştır?A) 2 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ı 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 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. 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
|
14. Aşağıdakilerden hangisi [(∼q↔ ∼r)∨(q→r)]→[ q∧(∼ p↔q)] ifadesinin Quine yöntemiyle çözümü
|
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 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ı 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ı 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
|
19. ∀y(Ay→ By) ∀y (Cy v Dy) ve [∼∀y (Cy v Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?A) Özdeş 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ş Cevap : E) Özdeş değil |