Modern Mantık 2022-2023 Bütünleme Soruları
Modern Mantık 2022-2023 Bütünleme Soruları
#1. Aşağıdakilerden hangileri çelişiktir?
Cevap : D) ~∃x Fx ve ∃x Fx
#2. Aşağıdakilerden hangisi [(∼q↔ ∼r)→(q→r)] ifadesinin Quine Yöntemi ile çözümü sırasındaki aşamalardan biridir?
Cevap : A) ∼r→D
#3. ∼[ ∃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
#4. Aşağıdakilerden hangisi yalın bir önermedir?
Cevap : C) Kedi kanatlıdır.
#5. Doğruluk değerleri D, Y, Y, D olan bir ifadenin değilinin değilinin doğruluk değerleri aşağıdakilerden hangisidir?
Cevap : C) D, Y, Y, D
#6. [Ax ∀y (Cy v Dy)] ve∼[Ax→ ∼∀y (Cy v Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?
Cevap : C) Özdeş
#7. ∼[ ∃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ş değil
#8. ∼[∼∀y (Cy v Dy) v ∀x(Cx v Dx)] ve [∀y (Cy v Dy) . ∼∀x(Cx v Dx)] ifadeleri için aşağıdakilerden hangisi doğrudur?
Cevap : D) Özdeş
#9. “Sonuçta mantık bilimi sayesinde yeni yapay diller kullanarak doğru düşüncenin ..... sınırları da genişletilecektir.” Yukarıdaki boşluğu dolduracak en uygun ifade aşağıdakilerden hangisidir?
Cevap : B) denetlenebilirlik
#10. Aşağıdakilerden hangisi [(∼r↔ p)→(q→∼r)]∨r ifadesinin Quine Yöntemi ile çözümü sırasındaki aşamalardan biri değildir?
Cevap : B) [(Y↔ p)→(q→D)]∨D
#11. Aşağıdakilerden hangisi çelişiktir?
Cevap : E) ∀x Fx ve ~∀x Fx
#12. ∼[Ax→ ∼∀y (Cy v Dy)] ve [∼Ax∼ ∀y (Cy Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?
Cevap : A) Özdeş değil
#13. Çok değerli mantık kuralları göz önünde bulundurulduğunda aşağıdakilerden hangisi yanlıştır?
Cevap : E) p ∨ q = min ( p )
#14. Aşağıdakilerden hangileri çelişiktir?
Cevap : C) ∃x ~Fx ve ~∃x ~Fx
#15. Aşağıdakilerden hangisi modaliteler kapsamında ele alınmaz?
Cevap : E) Pozitif
#16. [∀z(Cz v Dz) ∼∀y (Cy v Dy)] ve∼[∀z(Cz v Dz) v ∀y (Cy Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?
Cevap : A) Özdeş değil
#17. Aşağıdakilerden hangisi [(∼r↔ p)→(q→∼r)]∧r ifadesinin Quine Yöntemi ile çözümü sırasındaki aşamalardan biri değildir?
Cevap : D) (∼ p→ ∼q)∧Y
#18. ∼∃y(Ay→ By)(Ax→Bx)∀y (Cy v Dy) ve [∀x (Cx v Dx) ∼∀y (Cy v Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?
Cevap : D) Özdeş değil
#19. [∀y (Cy .Dy)↔ ∼∀z (Cz v Dz)] ve [∼∀z (Cz v Dz)↔ ∀y (Cy .Dy)] ifadeleri için aşağıdakilerden hangisi doğrudur?
Cevap : A) Özdeş
#20. Çok değerli mantık kuralları göz önünde bulundurulduğunda aşağıdakilerden hangisi doğrudur?
Cevap : B) “p veya q” gibi bir ifadede tarafların ikisi de 1 değerini almışsa sonuç 1 olur.
SONUÇ
HD Quiz powered by harmonic design
Modern Mantık 2022-2023 Bütünleme Soruları
Modern Mantık |