Modern Mantık 2023-2024 Vize Soruları
Modern Mantık 2023-2024 Vize Soruları
#1. ∼(p ↔ ∼q) ifadesi Lukasiewicz-Tarski notasyonuna göre nasıl yazılmalıdır?
Cevap : E) NEpNq
#2. Aşağıdakilerden hangisi Lukasiewicz–Tarski notasyonunun sağladığı katkılardandır?
Cevap : B) Mantık işlemlerinin bilgisayar diline aktarılmasında kolaylık sağlar.
#3. Çelişmezlik ilkesi aşağıdaki seçeneklerden hangisinde doğru olarak tanımlanmıştır?
Cevap : A) Bir şey sadece kendisidir, kendisi olmayan olamaz.
#4. Aşağıdakilerden hangisi klasik mantıkta kullanılan önerme gösterimlerinden biridir?
Cevap : A) SoP
#5. (q ↔ ∼q)∨(p →q) ifadesinin doğruluk değerleri aşağıdakilerden hangisidir?
Cevap : D) D, Y, D, D
#6. “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 : D) denetlenebilirlik
#7. Aşağıdakilerden hangisi [ (q ↔ ∼q)∨(p →q)]→q ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?
Cevap : C) [ (Y ↔ D)∨(p →Y)]→Y
#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 : E) (B V B) = Y
#9. 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
#10. Aşağıdakilerden hangisi [ (q↔ ∼r)∨(p →r)]→[ r∧(p↔q)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?
Cevap : E) [ (q↔ D)∨(p →Y)]→[ Y∧( p↔q)]
#11. Aşağıdakilerden hangisi (q v r) ifadesinin Lukasiewicz–Tarski notasyonu ile yazılmış şeklidir?
Cevap : D) Aqr
#12. Doğruluk değerleri D, Y, Y, D olan bir ifadenin değilinin değilinin doğruluk değerleri aşağıdakilerden hangisidir?
Cevap : B) D, Y, Y, D
#13. 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
#14. A ∼ A I. D Y II. B Y III. Y D D: Doğru, Y: Yanlış, B: Belirsiz değerleri için yukarıdakilerden hangisi veya hangileri yanlıştır?
Cevap : A) Yalnız II
#15. 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
#16. 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 : C) 8
#17. Aşağıdakilerden hangisi [ (q↔ ∼r)∨(p →r)]→r ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?
Cevap : A) D
#18. Aşağıdakilerden hangisi bir önermenin kıyasta ele alınış tarzlarından biri değildir?
Cevap : C) Tüzel
#19. Aşağıdakilerden hangisi [(∼q→ p)↔(r→∼p)] ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biridir?
Cevap : D) [(∼q→ p)↔(D→∼p)]
#20. Aşağıdakilerden hangisi [ (∼p→ p)∧(q→∼p)]→q ifadesinin Quine yöntemiyle çözümü sırasındaki aşamalardan biri değildir?
Cevap : C) q→q
SONUÇ
HD Quiz powered by harmonic design
Auzef Sosyoloji ve Auzef Felsefenin ortak dersi
Modern Mantık 2023-2024 Vize Soruları |
|||
---|---|---|---|
Modern Mantık |
Modern Mantık 2023-2024 Vize Soruları