Modern Mantık 2022-2023 Vize Soruları

1. Aşağıdakilerden hangisi Lukasiewicz-Tarski notasyonunun sağladığı katkılardandır?

A) Kıyas denetlemelerini belirginleştirir.
B) Özdeşlik ilkesinin göz önünde bulundurulmasını sağlar.
C) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlar.
D) Klasik mantık tartışmalarını yeniden gündeme getirir.
E) Fizik ifadelerini açık kılar.

Cevap : C) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlar.

2. I. Geçersizdir.
II. Geçerlidir.
III. Tutarlıdır.
~(p↔~q) → q ifadesi için yukarıdakilerden hangisi veya hangileri doğrudur?

A) Yalnız II
B) I ve III
C) I ve II
D) Yalnız III
E) Yalnız I

Cevap : B) I ve III

3. p, q, r gibi üç değişkenli, iki farklı ifadenin “tam normal biçime indirgeme yöntemi” ile özdeş olup olmadıkları denetleniyor. Denetleme sonucu “özdeş değil” ise sonuç satırında en fazla kaç “pqr” sıralı üçlüsü olabilir?

A) 4
B) 5
C) 6
D) 8
E) 7

Cevap : E) 7

4. Bir çıkarımın, saçmaya indirgeme yöntemi ile denetlenirken daha ilk işlemde “doğru” olabildiği tespit edilmişse ilgili çıkarım için aşağıdakilerden hangisi kesin olarak söylenebilir?

A) Eşdeğer
B) Tutarsız
C) Tutarlı
D) Geçersiz
E) Geçerli

Cevap : C) Tutarlı

5. ~p → q ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?

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

Cevap : C) Y, D, D, Y

6. ~(p↔~q) ifadesi Lukasiewicz-Tarski notasyonuna göre nasıl yazılmalıdır?

A) EpNq
B) pNq
C) NpNq
D) NEpNq
E) NEpq

Cevap : D) NEpNq

7. (q↔~q)v (p →q) ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?

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

Cevap : A) D, Y, D, D

8. p, q, r gibi üç değişkenli, iki farklı ifadenin “tam normal biçime indirgeme yöntemi” ile özdeş olup olmadıkları denetleniyor. Denetleme sonucu “özdeş” ise sonuç satırında kaç “pqr” sıralı üçlüsü olmalıdır?

A) 8
B) 1
C) 6
D) 5
E) 3

Cevap : A) 8

9. (p V q) gibi bir ifadede D: Doğru, Y: Yanlış, B: Belirsiz değerlerini gösterdiğinde aşağıdakilerden hangisi yanlıştır?

A) (Y V B) = B
B) (B V B) = Y
C) (D V D) = D
D) (Y V Y) = Y
E) (D V B) = D

Cevap : B) (B V B) = Y

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

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

Cevap : D) [(q↔ D)v(p →Y)]→[ Y∧( p↔q)]

11. p, q, r gibi üç değişkenli bir ifadenin “tam normal biçime indirgeme yöntemi” ile geçerli olup olmadığı denetleniyor. Denetleme sonucu “geçersiz” ise sonuç satırında kaç “pqr” sıralı üçlüsü olmalıdır?

A) 1
B) 2
C) 8
D) 5
E) 0

Cevap : E) 0

12. Aşağıdakilerden hangisi (q v r) ifadesinin Lukasiewicz-Tarski notasyonu ile yazılmış şeklidir?

A) Lqr
B) Kqr
C) Eqr
D) Aqr
E) Ngr

Cevap : D) Aqr

13. ~p ↔ q ifadesi için aşağıdakilerden hangisi en uygundur?

A) Tutarsız
B) Geçerli – tutarlı
C) Geçersiz – tutarlı
D) Geçerli – tutarsız
E) Ne geçerli ne tutarlı

Cevap : C) Geçersiz – tutarlı

14. Aşağıdakilerden hangisi [ (q↔ ~q) v(p →q)]→q ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?

A) [(Y ↔ Y) v (D →q)]→q
B) [(Y ↔ ~q) v (D →Y)]→Y
C) [(D ↔ ~Y) v (Y →Y)]→D
D) [ (D ↔ Y) v (p →D)]→Y
E) [(Y ↔ D) v (p →Y)]→Y

Cevap : E) [(Y ↔ D) v (p →Y)]→Y

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

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

Cevap : A) Y, D, D, Y

16. Bir çıkarımın, saçmaya indirgeme yöntemi ile denetlenirken daha ilk işlemde “yanlış” olabildiği tespit edilmişse ilgili çıkarım için aşağıdakilerden hangisi kesin olarak söylenebilir?

A) Geçersiz
B) Eşdeğer
C) Tutarsız
D) Tutarlı
E) Geçerli

Cevap : A) Geçersiz

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

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

Cevap : B) D

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

A) (p → q) = min [1, (1 – p) + q]
B) ~ p= (1 – p)
C) (p v q) = max (p, q)
D) (p ↔ q) = 1 -lp -ql
E) p Ʌ q = min (q)

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

19. Üçüncü hâlin imkânsızlığı ilkesi aşağıdakilerden hangisinde doğru olarak tanımlanmıştır?

A) Bazı önermeler başka önermelere dönüşebilir.
B) Herhangi bir önerme ya “doğru” ya da “yanlış” olabilir; bunlardan başka bir değer alamaz.
C) Bazı önermeler bazen “doğru” bazen “yanlış”tır.
D) Bir şey ne ise odur.
E) Bir şey sadece kendisidir; kendisi olmayan olamaz.

Cevap : B) Herhangi bir önerme ya “doğru” ya da “yanlış” olabilir; bunlardan başka bir değer alamaz.

20. Aşağıdakilerden hangisi bir önermenin kıyasta ele alınış tarzlarından biri değildir?

A) Tümel
B) Tikel
C) Olumlu
D) Tüzel
E) Olumsuz

Cevap : D) Tüzel