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

#1. ∼∃x (Ax→Bx) ↔ (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

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Geçerli

e) Geçerli

#2. ∼[Cy (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

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Belirsiz

e) Belirsiz

#3. “~(p ↔ ∼ q)” ifadesi Lukasiewicz -Tarski notasyonunuyla yazıldığında nasıl bir yeniden yazımla karşılaşılacaktır?

a) NEpNq

a) NEpNq

b) NEpq

b) NEpq

c) EpNq

c) EpNq

d) NpNq

d) NpNq

e) pNq

e) pNq

#4. 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) → (Y → r)] ↔ [Y ∧ (∼ p↔ D)]

a) [(D ↔ ∼ r) → (Y → r)] ↔ [Y ∧ (∼ p↔ D)]

b) [(Y ↔ ∼ r) → (D → r)] ↔ [D ∧ (∼ p↔ D)]

b) [(Y ↔ ∼ r) → (D → r)] ↔ [D ∧ (∼ p↔ D)]

c) [(D↔ ∼ r) → (Y → r)] ↔ [D ∧ ( p↔ D)]

c) [(D↔ ∼ r) → (Y → r)] ↔ [D ∧ ( p↔ D)]

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

a) Hiçbiri

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Belirsiz

e) Belirsiz

#6. Lukaslewicz-Tarski notasyonunun parantezsiz yazma imkan sağlaması aşağıdakilerden hangisine imkan vermektedir?

a) Matematik işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır.

a) Matematik işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır.

b) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır.

b) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlamaktadır.

c) Klasik Mantık tartışmalarını yeniden gündeme getirmiştir.

c) Klasik Mantık tartışmalarını yeniden gündeme getirmiştir.

d) Kıyas denetlemesini kolaylaştırmıştır.

d) Kıyas denetlemesini kolaylaştırmıştır.

e) Özdeşlik ilkesini göz önünde bulundurmaktadır.

e) Özdeşlik ilkesini göz önünde bulundurmaktadır.

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

a) Hiçbiri

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Geçerli

e) Geçerli

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

a) Hiçbiri

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Belirsiz

e) Belirsiz

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

a) [(∼ q→ p) ↔ (D →∼p)]

b) [(∼ q→ p) ↔ ( Y → D)]

b) [(∼ q→ p) ↔ ( Y → D)]

c) [( q→ p) ↔ (D →∼p)]

c) [( q→ p) ↔ (D →∼p)]

#10. (∀xTx ↔∼∃yHy) [∃z Hz →∼∃y∼Ty)(∼∃y∼Ty →∼∃yHy) ] ifadeleri için hakkında aşağıdaki şıklardan hangisi doğrudur?

a) Hiçbiri

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Geçerli

e) Geçerli

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

a) [(Y ↔ ∼ r) ∨ (Y → r)] → [ r ∧ (D ↔ q)]

a) [(Y ↔ ∼ r) ∨ (Y → r)] → [ r ∧ (D ↔ q)]

b) [( D ↔ ∼ r) ∨ (D → r)] → [ r ∧ (D ↔ q)]

b) [( D ↔ ∼ r) ∨ (D → r)] → [ r ∧ (D ↔ q)]

c) [(Y ↔ ∼ r) ∨ (Y → r)] → [ r ∧ (Y ↔ q)]

c) [(Y ↔ ∼ r) ∨ (Y → r)] → [ r ∧ (Y ↔ q)]

#12. Aşağıdakilerden hangisi “iki değerli mantık” örnekleri dışında bir örnektir?

a) Işığın açık olması veya açık olmaması.

a) Işığın açık olması veya açık olmaması.

b) Arabanın duruyor olması veya durmuyor olması (hareket etmesi).

b) Arabanın duruyor olması veya durmuyor olması (hareket etmesi).

c) Odadaki sıcaklığın 20 derece olmaması veya olmaması.

c) Odadaki sıcaklığın 20 derece olmaması veya olmaması.

d) Çiçeklerin çok seviliyor olması veya az seviliyor olması.

d) Çiçeklerin çok seviliyor olması veya az seviliyor olması.

e) Kapının kilitli olması veya olmaması.

e) Kapının kilitli olması veya olmaması.

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

a) Hiçbiri

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Belirsiz

e) Belirsiz

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

a) Hiçbiri

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Belirsiz

e) Belirsiz

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

a) Hiçbiri

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Geçerli

e) Geçerli

#16. Aşağıdakilerden hangisi ∼ (q v r)” ifadesinin LT notasyonu ile yazılmış şeklidir?

a) Eqr

a) Eqr

b) Nqr

b) Nqr

c) Kqr

c) Kqr

d) Aqr

d) Aqr

e) Lqr

e) Lqr

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

a) SüP

a) SüP

b) SiP

b) SiP

c) SöP

c) SöP

d) SoP

d) SoP

e) SuP

e) SuP

#18. Modal mantığın özellikle yapay zeka alanında kullanılmasının sebebi, aşağıdaki şıklardan hangisinde doğru bir biçimde verilmiştir?

a) Modal mantık sistemlerinin güçlü formel diller sayesinde çok daha ayrıntılı, nesnel ve geniş ölçüde ele alınır hale gelmesi

a) Modal mantık sistemlerinin güçlü formel diller sayesinde çok daha ayrıntılı, nesnel ve geniş ölçüde ele alınır hale gelmesi

b) Aristoteles’in modal mantık çalımalarının Ortaçağ’da yeniden okunması

b) Aristoteles’in modal mantık çalımalarının Ortaçağ’da yeniden okunması

c) Modal mantığın diğer mantık sistemleri gibi içeriksiz ve sadece biçimsel bir yapıya sahip olması

c) Modal mantığın diğer mantık sistemleri gibi içeriksiz ve sadece biçimsel bir yapıya sahip olması

d) Modal mantık sistemlerinin modaliteler dışında önermelerle ilgilenmiyor olması

d) Modal mantık sistemlerinin modaliteler dışında önermelerle ilgilenmiyor olması

e) Modal mantık önermelerinin günlük konuşma dilinden kopuk bir yapıya sahip olması

e) Modal mantık önermelerinin günlük konuşma dilinden kopuk bir yapıya sahip olması

#19. ∼[∼∃x(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

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Belirsiz

e) Belirsiz

#20. ∼∃y (Ay→By) (Ax→Bx) ∀y (Cy v Dy)] ve [∀x (Cx v Dx)∼∀y (Cy v Dy) ] ifadeleri hakkında aşağıdakilerden hangisi doğrudur?

a) Hiçbiri

a) Hiçbiri

b) Özdeş değil

b) Özdeş değil

c) Geçerli

c) Geçerli

d) Belirsiz

d) Belirsiz

e) Özdeş

e) Özdeş

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

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Belirsiz

e) Belirsiz

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

a) Belirsiz

a) Belirsiz

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Hiçbiri

e) Hiçbiri

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

a) Hiçbiri

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Geçerli

e) Geçerli

#24. [∀x (Cx ↔ 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

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Belirsiz

e) Belirsiz

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

a) Hiçbiri

a) Hiçbiri

b) Geçerli değil

b) Geçerli değil

c) Özdeş değil

c) Özdeş değil

d) Özdeş

d) Özdeş

e) Belirsiz

e) Belirsiz

TESTi BiTiR, PUANINI GÖR

SONUÇ

-

HD Quiz powered by harmonic design

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

Modern Mantık 2021 Final Soruları

Modern Mantık 2021 Final Soruları

Modern Mantık 2021 Final Soruları