Modern Mantık 2021 Final Deneme Sınavı -2

Aralık 13, 2021

LOLONOLO Ana Sayfa » blog » auzef » Modern Mantık 2021 Final Deneme Sınavı -2

#1. (∀xFx ∀yHy) ve [∃z Hz ∀x Hx ∃y Fy) ifadeleri hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Geçerli

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

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

#3. (Ax→∼ ∀y(Cy v Dy)] ve [∼Ax v ∼∀y(Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

#4. [∼∃x(Ax→ Bx).∀x (Cx Dx)] ve [∼∀x(Cx.Dx) ↔ ∼∃x (Ax → Bx))] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

#5. [∼∃x(Ax→ Bx)→∀y (Cy v Dy)] ve [∼∀y(Cy v Dy) ↔ ∼∃x(Ax→ Bx)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

Öğrenme Yönetim Sistemi Öğrenci Dostu LOLONOLO bol bol deneme sınavı yapmayı önerir.

#6. ∼[Ax → ∼ ∀y(Cy v Dy)] ve [Ax v∼∀y (Cy→ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

#7. – ∀y (Ay→By) ∀y (Cy v Dy)] ve [∼∀y (Cy v Dy) ] ifadeleri hakkında aşağıdakilerden hangisi doğrudur?

a) Hiçbiri

b) Özdeş değil

c) Geçerli

d) Belirsiz

e) Özdeş

#8. ∼[Ax → ∀y(Cy.Dy)] ve [∼Ax ∀y (Cy. Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

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

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

#10. ∼[∀y (Cy → Dy)→ ∼ ∀y(Cy .Dy)] ve [∀y(Cy → Dy).∀y(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

Öğrenme Yönetim Sistemi Öğrenci Dostu LOLONOLO bol bol deneme sınavı yapmayı önerir.

#11. D: Doğru, Y: Yanlış, B: Belirsiz değerleri için aşağıdakilerden hangisi yanlıştır? — I. D,Y — II. B, Y — III. Y, D

a) I-II

b) Yalnız I

c) Yalnız II

d) II-III

e) Yalnız III

#12. [∀y (Cy.Dy)↔ ∼∀z (Cz v Dz)] ve [∼∀z(Cz v Dz) ↔vy(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

#13. ∼[Ax v∼ ∀y(Cy v Dy)] ve [∼Ax v ∀y (Cy Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

#14. ∼[Ax→∼vy) (Cy v Dy)] ve [Ax v ∼∀y (Cy → Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Geçerli

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

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

Öğrenme Yönetim Sistemi Öğrenci Dostu LOLONOLO bol bol deneme sınavı yapmayı önerir.

#16. Aşağıdakilerden hangisi çelişiktir?

a) ∃x Fx ve ∃x Fx

b) ∃x ~ Fx ve ~∃x ~ Fx

c) ~∀x Fx ve ~ ∀x ~ Fx

d) ∀x ~ Fx ve ~ ∀x Fx

e) ∃x Fx ve ∃x ~ Fx

#17. ∼ [∀x (Cx v Dx) →∼∀y (Cy v Dy)] ve [∼∀x (Cx∨Dx).∀y (Cy Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Geçerli

#18. [Ax v∼ ∀y(Cy v Dy)] ve [∼Ax v ∼∀y (Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

#19. ∼ [∀x (Cx .Dx) →∼∀x (Cx. Dx)] ve [∀x (Cx. Dx). ∀x (Cx.Dx) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Geçerli

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

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Geçerli

Öğrenme Yönetim Sistemi Öğrenci Dostu LOLONOLO bol bol deneme sınavı yapmayı önerir.

#21. ∼ [∀x (Cx v Dx) →∼∀y (Cy v Dy)] ve [∼∀x (Cx∨Dx) v ∼∀y (Cy Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Geçerli

#22. [∀x (Cx. Dx) → ∼∀x (Cx. Dx)] ve [∼∀x (Cx. Dx)v∼∀x (Cx. Dx)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

#23. ∼[Ax↔∼∀y (Cy v Dy) ve [Ax ∼∀y (Cy↔ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Geçerli

#24. ∼[∀x (Cx v Dx) v ∼∀y ( Cy v Dy)] ve [∼∀x (Cx v Dx).∀y (Cy.Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Geçerli

#25. ∼[Ax ↔∼ ∀y(Cy v Dy)] ve [Ax v∼∀y (Cy→ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

b) Geçerli değil

c) Özdeş değil

d) Özdeş

e) Belirsiz

Öğrenme Yönetim Sistemi Öğrenci Dostu LOLONOLO bol bol deneme sınavı yapmayı önerir.

Öncesi

TESTi BiTiR, PUANINI GÖR

SONUÇ

Modern Mantık Final 2021 Deneme Sınavı -2

Modern Mantık 2021 Final Deneme Sınavı -2

Modern Mantık Final 2021 Deneme Sınavı -2

31- [∼∃x(Ax→ Bx).∀x (Cx Dx)] ve [∼∀x(Cx.Dx) ↔ ∼∃x (Ax → Bx))] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : c) Özdeş değil

32- [Ax v∼ ∀y(Cy v Dy)] ve [∼Ax v ∼∀y (Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : d) Özdeş

33- ∀y (Ay→By) ∀y (Cy v Dy)] ve [∼∀y (Cy v Dy) ] ifadeleri hakkında aşağıdakilerden hangisi doğrudur?

a) Hiçbiri
b) Özdeş değil
c) Geçerli
d) Belirsiz
e) Özdeş

Cevap : b) Özdeş değil

34- [∀x (Cx. Dx) → ∼∀x (Cx. Dx)] ve [∼∀x (Cx. Dx)v∼∀x (Cx. Dx)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : d) Özdeş

35- ∼ [∀x (Cx .Dx) →∼∀x (Cx. Dx)] ve [∀x (Cx. Dx). ∀x (Cx.Dx) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Geçerli

Cevap : d) Özdeş

36- ∼[∼∃x(Ax v Bx) →∀y (Cy v Dy)] ve [∼∃x(Ax v Bx) ∼∀y (Cy v Dy))] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : d) Özdeş

37- ∼[Ax → ∀y(Cy.Dy)] ve [∼Ax ∀y (Cy. Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : c) Özdeş değil

38- ∼[Ax ↔∼ ∀y(Cy v Dy)] ve [Ax v∼∀y (Cy→ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : c) Özdeş değil

39- ∼[Ax → ∼ ∀y(Cy v Dy)] ve [Ax v∼∀y (Cy→ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : c) Özdeş değil

40- (∀xFx ∀yHy) ve [∃z Hz ∀x Hx ∃y Fy) ifadeleri hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Geçerli

Cevap : c) Özdeş değil

41- ∼∃x(Ax→ Bx) ↔∀y (Ax ? Bx) ∀y (Cy v Dy) ve [ ∼∃x(Ax→ Bx) ↔∼∀y (Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : c) Özdeş değil

42- [∀y (Cy v Dy) ↔ ∼∀x ( Cx v Dx)] ve [∼∀x (Cx v Dx) ↔∀y (Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Geçerli

Cevap : d) Özdeş

43- [∼∃x(Ax→ Bx)→∀y (Cy v Dy)] ve [∼∀y(Cy v Dy) ↔ ∼∃x(Ax→ Bx)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : c) Özdeş değil

44- [∀y (Cy.Dy)↔ ∼∀z (Cz v Dz)] ve [∼∀z(Cz v Dz) ↔vy(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : c) Özdeş değil

45- ∼[∀x (Cx v Dx) v ∼∀y ( Cy v Dy)] ve [∼∀x (Cx v Dx).∀y (Cy.Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Geçerli

Cevap : d) Özdeş

46- ∀y (Ay →By) ∀y (Cy v Dy)] ve [∼∀y(Cy v Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : c) Özdeş değil

47- ∼[Ax v∼ ∀y(Cy v Dy)] ve [∼Ax v ∀y (Cy Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : d) Özdeş

47- ∼ [∀x (Cx v Dx) →∼∀y (Cy v Dy)] ve [∼∀x (Cx∨Dx) v ∼∀y (Cy Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Geçerli

Cevap : d) Özdeş

48- ∼[Ax→∼vy) (Cy v Dy)] ve [Ax v ∼∀y (Cy → Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Geçerli

Cevap : c) Özdeş değil

49- ∼[∀y (Cy → Dy)→ ∼ ∀y(Cy .Dy)] ve [∀y(Cy → Dy).∀y(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz

Cevap : c) Özdeş değil

50- ∼[Ax↔∼∀y (Cy v Dy) ve [Ax ∼∀y (Cy↔ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Geçerli

Cevap : c) Özdeş değil

51- Aşağıdakilerden hangisi çelişiktir?

a) ∃x Fx ve ∃x Fx
b) ∃x ~ Fx ve ~∃x ~ Fx
c) ~∀x Fx ve ~ ∀x ~ Fx
d) ∀x ~ Fx ve ~ ∀x Fx
e) ∃x Fx ve ∃x ~ Fx

Cevap : b) ∃x ~ Fx ve ~∃x ~ Fx

Modern Mantık 2021 Final Soruları

Modern Mantık Final 2021 Deneme Sınavı -2

#1. (∀xFx ∀yHy) ve [∃z Hz ∀x Hx ∃y Fy) ifadeleri hakkında aşağıdaki şıklardan hangisi doğrudur?

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

#3. (Ax→∼ ∀y(Cy v Dy)] ve [∼Ax v ∼∀y(Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#4. [∼∃x(Ax→ Bx).∀x (Cx Dx)] ve [∼∀x(Cx.Dx) ↔ ∼∃x (Ax → Bx))] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#5. [∼∃x(Ax→ Bx)→∀y (Cy v Dy)] ve [∼∀y(Cy v Dy) ↔ ∼∃x(Ax→ Bx)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#6. ∼[Ax → ∼ ∀y(Cy v Dy)] ve [Ax v∼∀y (Cy→ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#7. – ∀y (Ay→By) ∀y (Cy v Dy)] ve [∼∀y (Cy v Dy) ] ifadeleri hakkında aşağıdakilerden hangisi doğrudur?

#8. ∼[Ax → ∀y(Cy.Dy)] ve [∼Ax ∀y (Cy. Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

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

#10. ∼[∀y (Cy → Dy)→ ∼ ∀y(Cy .Dy)] ve [∀y(Cy → Dy).∀y(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#11. D: Doğru, Y: Yanlış, B: Belirsiz değerleri için aşağıdakilerden hangisi yanlıştır? — I. D,Y — II. B, Y — III. Y, D

#12. [∀y (Cy.Dy)↔ ∼∀z (Cz v Dz)] ve [∼∀z(Cz v Dz) ↔vy(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#13. ∼[Ax v∼ ∀y(Cy v Dy)] ve [∼Ax v ∀y (Cy Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#14. ∼[Ax→∼vy) (Cy v Dy)] ve [Ax v ∼∀y (Cy → Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

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

#16. Aşağıdakilerden hangisi çelişiktir?

#17. ∼ [∀x (Cx v Dx) →∼∀y (Cy v Dy)] ve [∼∀x (Cx∨Dx).∀y (Cy Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#18. [Ax v∼ ∀y(Cy v Dy)] ve [∼Ax v ∼∀y (Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#19. ∼ [∀x (Cx .Dx) →∼∀x (Cx. Dx)] ve [∀x (Cx. Dx). ∀x (Cx.Dx) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

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

#21. ∼ [∀x (Cx v Dx) →∼∀y (Cy v Dy)] ve [∼∀x (Cx∨Dx) v ∼∀y (Cy Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#22. [∀x (Cx. Dx) → ∼∀x (Cx. Dx)] ve [∼∀x (Cx. Dx)v∼∀x (Cx. Dx)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#23. ∼[Ax↔∼∀y (Cy v Dy) ve [Ax ∼∀y (Cy↔ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#24. ∼[∀x (Cx v Dx) v ∼∀y ( Cy v Dy)] ve [∼∀x (Cx v Dx).∀y (Cy.Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

#25. ∼[Ax ↔∼ ∀y(Cy v Dy)] ve [Ax v∼∀y (Cy→ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

SONUÇ

Modern Mantık Final 2021 Deneme Sınavı -2

31- [∼∃x(Ax→ Bx).∀x (Cx Dx)] ve [∼∀x(Cx.Dx) ↔ ∼∃x (Ax → Bx))] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

32- [Ax v∼ ∀y(Cy v Dy)] ve [∼Ax v ∼∀y (Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : d) Özdeş

33- ∀y (Ay→By) ∀y (Cy v Dy)] ve [∼∀y (Cy v Dy) ] ifadeleri hakkında aşağıdakilerden hangisi doğrudur?

Cevap : b) Özdeş değil

34- [∀x (Cx. Dx) → ∼∀x (Cx. Dx)] ve [∼∀x (Cx. Dx)v∼∀x (Cx. Dx)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri b) Geçerli değil c) Özdeş değil d) Özdeş e) Belirsiz

Cevap : d) Özdeş

35- ∼ [∀x (Cx .Dx) →∼∀x (Cx. Dx)] ve [∀x (Cx. Dx). ∀x (Cx.Dx) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : d) Özdeş

36- ∼[∼∃x(Ax v Bx) →∀y (Cy v Dy)] ve [∼∃x(Ax v Bx) ∼∀y (Cy v Dy))] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : d) Özdeş

37- ∼[Ax → ∀y(Cy.Dy)] ve [∼Ax ∀y (Cy. Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

38- ∼[Ax ↔∼ ∀y(Cy v Dy)] ve [Ax v∼∀y (Cy→ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

39- ∼[Ax → ∼ ∀y(Cy v Dy)] ve [Ax v∼∀y (Cy→ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

40- (∀xFx ∀yHy) ve [∃z Hz ∀x Hx ∃y Fy) ifadeleri hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

41- ∼∃x(Ax→ Bx) ↔∀y (Ax ? Bx) ∀y (Cy v Dy) ve [ ∼∃x(Ax→ Bx) ↔∼∀y (Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

42- [∀y (Cy v Dy) ↔ ∼∀x ( Cx v Dx)] ve [∼∀x (Cx v Dx) ↔∀y (Cy v Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : d) Özdeş

43- [∼∃x(Ax→ Bx)→∀y (Cy v Dy)] ve [∼∀y(Cy v Dy) ↔ ∼∃x(Ax→ Bx)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

44- [∀y (Cy.Dy)↔ ∼∀z (Cz v Dz)] ve [∼∀z(Cz v Dz) ↔vy(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

45- ∼[∀x (Cx v Dx) v ∼∀y ( Cy v Dy)] ve [∼∀x (Cx v Dx).∀y (Cy.Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : d) Özdeş

46- ∀y (Ay →By) ∀y (Cy v Dy)] ve [∼∀y(Cy v Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

47- ∼[Ax v∼ ∀y(Cy v Dy)] ve [∼Ax v ∀y (Cy Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : d) Özdeş

47- ∼ [∀x (Cx v Dx) →∼∀y (Cy v Dy)] ve [∼∀x (Cx∨Dx) v ∼∀y (Cy Dy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : d) Özdeş

48- ∼[Ax→∼vy) (Cy v Dy)] ve [Ax v ∼∀y (Cy → Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

49- ∼[∀y (Cy → Dy)→ ∼ ∀y(Cy .Dy)] ve [∀y(Cy → Dy).∀y(Cy .Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

50- ∼[Ax↔∼∀y (Cy v Dy) ve [Ax ∼∀y (Cy↔ Dy)] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

Cevap : c) Özdeş değil

51- Aşağıdakilerden hangisi çelişiktir?

Cevap : b) ∃x ~ Fx ve ~∃x ~ Fx

Modern Mantık Final 2021 Deneme Sınavı -2

Modern Mantık 2021 Final Soruları

Editor

a) Hiçbiri
b) Geçerli değil
c) Özdeş değil
d) Özdeş
e) Belirsiz