Modern Mantık 2022-2023 Bütünleme Soruları

1. Aşağıdakilerden hangisi modaliteler kapsamında ele alınmaz?

A) İmkânlı
B) İmkânsız
C) Zorunlu
D) Olumsal
E) Pozitif

Cevap : E) Pozitif

2. ∼∃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?

A) Özdeş
B) Geçersiz
C) Geçerli
D) Özdeş değil
E) Belirsiz

Cevap : D) Özdeş değil

3. Aşağıdakilerden hangisi [(∼r↔ p)→(q→∼r)]∧r ifadesinin Quine Yöntemi ile çözümü sırasındaki aşamalardan biri değildir?

A) D
B) [(Y↔ p)→(q→Y)]∧D
C) (∼ p→ ∼q)∧D
D) (∼ p→ ∼q)∧Y
E) Y

Cevap : D) (∼ p→ ∼q)∧Y

4. 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 : E) ∀x Fx ve ~∀x Fx

5. ∼[∼∀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?

A) Özdeş değil
B) Belirsiz
C) Geçerli
D) Özdeş
E) Geçerli değil

Cevap : D) Özdeş

6. Çok değerli mantık kuralları göz önünde bulundurulduğunda aşağıdakilerden hangisi yanlıştır?

A) p → q = min⁡ [1, (1 – p) + q ]
B) p ∨ q = max⁡ ( p , q)
C) p ∧ q = min ⁡( p , q)
D) ∼ p = 1 – p
E) p ∨ q = min ( p )

Cevap : E) p ∨ q = min ( p )

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

A) Özdeş değil
B) Geçerli
C) Belirsiz
D) Özdeş
E) Geçerli değil

Cevap : A) Özdeş değil

8. Çok değerli mantık kuralları göz önünde bulundurulduğunda aşağıdakilerden hangisi doğrudur?

A) “p ve q” gibi bir ifadede tarafların ikisi de 0 değerini almışsa sonuç 1 olur.
B) “p veya q” gibi bir ifadede tarafların ikisi de 1 değerini almışsa sonuç 1 olur.
C) “p ve q” gibi bir ifadede taraflardan en az birisi 1 değerini almışsa sonuç kesinlikle 1 olur.
D) “p veya q” gibi bir ifadede tarafların ikisi de 0 değerini almışsa sonuç 1 olur.
E) “p ve q” gibi bir ifadede tarafların ikisi de 1 değerini almışsa sonuç 0 olur.

Cevap : B) “p veya q” gibi bir ifadede tarafların ikisi de 1 değerini almışsa sonuç 1 olur.

9. Aşağıdakilerden hangileri ç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 : D) ~∃x Fx ve ∃x Fx

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

A) iletişim
B) denetlenebilirlik
C) ifade
D) sezgisellik
E) betimlenebilirlik

Cevap : B) denetlenebilirlik

11. Aşağıdakilerden hangisi [(∼r↔ p)→(q→∼r)]∨r ifadesinin Quine Yöntemi ile çözümü sırasındaki aşamalardan biri değildir?

A) (p→D)∨Y
B) [(Y↔ p)→(q→D)]∨D
C) (∼ p→ ∼q)]∨D
D) D∨Y
E) D

Cevap : B) [(Y↔ p)→(q→D)]∨D

12. ∼[ ∃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ı
C) Geçerli
D) Tutarlı değil
E) Özdeş değil

Cevap : E) Özdeş değil

13. Aşağıdakilerden hangisi yalın bir önermedir?

A) Ayşe’nin finalden yüksek not alması muhtemeldir.
B) Zaman ve tarihin birbirinden farklı konuları içeren kavramlar olması mümkün değildir.
C) Kedi kanatlıdır.
D) Yüksekten bırakılan bir cismin düşmesi zorunludur.
E) Ahmet’in Tuğba’yı satrançta yenmesi mümkündür.

Cevap : C) Kedi kanatlıdır.

14. ∼[ ∃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) Tutarlı değil
B) Özdeş değil
C) Tutarlı
D) Belirsiz
E) Özdeş

Cevap : B) Özdeş değil

15. Aşağıdakilerden hangileri ç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 : C) ∃x ~Fx ve ~∃x ~Fx

16. Aşağıdakilerden hangisi [(∼q↔ ∼r)→(q→r)] ifadesinin Quine Yöntemi ile çözümü sırasındaki aşamalardan biridir?

A) ∼r→D
B) [(D↔ ∼r)→(D→r)]
C) Y
D) r→Y
E) q→Y

Cevap : A) ∼r→D

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

A) Geçerli değil
B) Geçerli
C) Özdeş
D) Özdeş değil
E) Belirsiz

Cevap : C) Özdeş

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

A) Özdeş değil
B) Geçersiz
C) Geçerli
D) Özdeş
E) Belirsiz

Cevap : A) Ö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?

A) Özdeş
B) Özdeş değil
C) Geçerli
D) Geçerli değil
E) Belirsiz

Cevap : A) Özdeş

20. Doğruluk değerleri D, Y, Y, D olan bir ifadenin değilinin değilinin doğruluk değerleri aşağıdakilerden hangisidir?

A) D, D, D, Y
B) Y, Y, D, Y
C) D, Y, Y, D
D) D, D, Y, D
E) Y, D, D, D

Cevap : C) D, Y, Y, D