Modern Mantık 2021 Final 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