Modern Mantık 2022-2023 Vize Soruları
Modern Mantık 2022-2023 Vize Soruları
#1. 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?
Cevap : A) 8
#2. 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?
Cevap : A) Geçersiz
#3. Üçüncü hâlin imkânsızlığı ilkesi aşağıdakilerden hangisinde doğru olarak tanımlanmıştır?
Cevap : B) Herhangi bir önerme ya “doğru” ya da “yanlış” olabilir; bunlardan başka bir değer alamaz.
#4. ~p → q ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?
Cevap : C) Y, D, D, Y
#5. Aşağıdakilerden hangisi (q v r) ifadesinin Lukasiewicz-Tarski notasyonu ile yazılmış şeklidir?
Cevap : D) Aqr
#6. 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?
Cevap : E) 0
#7. Aşağıdakilerden hangisi bir önermenin kıyasta ele alınış tarzlarından biri değildir?
Cevap : D) Tüzel
#8. Aşağıdakilerden hangisi [ (q↔ ~q) v(p →q)]→q ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?
Cevap : E) [(Y ↔ D) v (p →Y)]→Y
#9. ~(p↔~q) ifadesi Lukasiewicz-Tarski notasyonuna göre nasıl yazılmalıdır?
Cevap : D) NEpNq
#10. (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?
Cevap : B) (B V B) = Y
#11. I. Geçersizdir. II. Geçerlidir. III. Tutarlıdır. ~(p↔~q) → q ifadesi için yukarıdakilerden hangisi veya hangileri doğrudur?
Cevap : B) I ve III
#12. 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?
Cevap : E) 7
#13. Aşağıdakilerden hangisi [ (q↔ ~r)v(p →r)]→r ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?
Cevap : B) D
#14. Doğruluk değerleri D, Y, Y, D olan bir ifadenin değilinin doğruluk değerleri aşağıdakilerden hangisidir?
Cevap : A) Y, D, D, Y
#15. (q↔~q)v (p →q) ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?
Cevap : A) D, Y, D, D
#16. ~p ↔ q ifadesi için aşağıdakilerden hangisi en uygundur?
Cevap : C) Geçersiz – tutarlı
#17. 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?
Cevap : C) Tutarlı
#18. Çok-değerli mantık işlemleri göz önünde bulundurulduğunda aşağıdakilerden hangisi yanlıştır?
Cevap : E) p Ʌ q = min (q)
#19. Aşağıdakilerden hangisi Lukasiewicz-Tarski notasyonunun sağladığı katkılardandır?
Cevap : C) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlar.
#20. Aşağıdakilerden hangisi [ (q↔ ~r)v(p →r)]→[ r∧( p↔q)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?
Cevap : D) [(q↔ D)v(p →Y)]→[ Y∧( p↔q)]
SONUÇ
HD Quiz powered by harmonic design
Modern Mantık 2022-2023 Vize Soruları
Modern Mantık |
Modern Mantık 2022-2023 Vize Soruları