Modern Mantık 2022-2023 Vize Soruları
Modern Mantık 2022-2023 Vize Soruları
#1. 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
#2. Aşağıdakilerden hangisi bir önermenin kıyasta ele alınış tarzlarından biri değildir?
Cevap : D) Tüzel
#3. ~(p↔~q) ifadesi Lukasiewicz-Tarski notasyonuna göre nasıl yazılmalıdır?
Cevap : D) NEpNq
#4. 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
#5. Ç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)
#6. ~p → q ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?
Cevap : C) Y, D, D, Y
#7. 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
#8. (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
#9. 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)]
#10. 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
#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?
Cevap : E) 0
#12. Aşağıdakilerden hangisi (q v r) ifadesinin Lukasiewicz-Tarski notasyonu ile yazılmış şeklidir?
Cevap : D) Aqr
#13. 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
#14. Üçü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.
#15. 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.
#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?
Cevap : A) Geçersiz
#17. (q↔~q)v (p →q) ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?
Cevap : A) D, Y, D, D
#18. 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ı
#19. 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
#20. ~p ↔ q ifadesi için aşağıdakilerden hangisi en uygundur?
Cevap : C) Geçersiz – tutarlı
SONUÇ
HD Quiz powered by harmonic design
Modern Mantık 2022-2023 Vize Soruları
Modern Mantık |
Modern Mantık 2022-2023 Vize Soruları