Modern Mantık 2022-2023 Final Soruları

Ocak 22, 2023

#1. [∀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ş

#2. 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

#3. 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ı

#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. 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

#6. ∀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

#7. 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)]

#8. [ ∃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

#9. 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)]

#10. ∼[ ∃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

#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. 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

#13. 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

#14. ∼[∀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ş

#15. ∼[ ∃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

#16. [∀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

#17. Ç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.

#18. “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

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

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

A) 2

B) 5

C) 3

D) 1

E) 4

Cevap : D) 1

#20. ∼[∀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ş

TESTi BiTiR, PUANINI GÖR

SONUÇ

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

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

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

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

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

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

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

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

#8. [ ∃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?

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

#10. ∼[ ∃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?

#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?

#12. 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?

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

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

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

#16. [∀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?

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

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

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

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

SONUÇ

1. 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)]

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?

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?

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?

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?

Cevap : A) Özdeş değil

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

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

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

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?

Cevap : C) Yalnız II

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

Cevap : D) 1

10. 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

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?

Cevap : B) Özdeş

12. Ç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.

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?

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?

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?

Cevap : E) Özdeş

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

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?

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?

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?

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?

Cevap : E) Özdeş değil

Modern Mantık 2022-2023 Final Soruları

Editor

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?

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?

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?

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?

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

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