AÖF Soru Bankası
MNT102U

Sembolik Mantık

Ünite Sınavı Soruları

  • 20 soru
  • Soru metinleri açık; şıklar ve cevap anahtarı uygulamada
  1. 1

    Önermeler mantığında doğruluk tablosu yöntemine göre (p <-> (~q v q)) önermesinin doğruluk tablosu kaç satırdan oluşur?  

  2. 2

    ~( A ᴧ B ) olarak sembolize edilen nitelik aşağıdakilerden hangisi ile açıklanabilir?

  3. 3

    Bir çıkarımı çözümleyici çizelge ile denetlerken öncüllerin kendilerini ve sonucun değilini alt alta yazıp çizelgeyi tamamladıktan sonra tüm dalların kapalı olduğu gösterilebiliyorsa, bu çıkarım için aşağıdaki ifadelerden hangisi kullanılabilir?

  4. 4

    Çizelge tamamlandığında en az kaç dal doğru ise, çizelgesini yaptığımız önerme bize verilen doğruluk değerlemesinde doğrudur?

  5. 5

    Sembolik önermeler mantığında herhangi bir sembolik önerme olmayan önerme aşağıdakilerden hangisidir?

  6. 6

    'Çift sayılar iki ile bölünebilir.' Bu ifadede 2 ile bölünebilme : A , çift sayı olma : B sembolleri ile gösterildiğinde aşağıdakilerden hangisi gibi yazabiliriz?

  7. 7

    Aşağıdakilerden hangisi tikel-evetleme'ye örnektir?

  8. 8

    Bir önermenin mantık statüsünü belirlemede çözümleyici çizelgenin doğruluk tablosundan daha kullanışlı olmasının sebebi aşağıdakilerden hangisidir? 

  9. 9

    Yukarıda şekilde çözümleyici çizelgesi verilen çıkarım aşağıdakilerden hangisidir?

  10. 10

    Çözümleyici çizelge yönteminde ~A önermesinin çözümleyici çizelgesinde tamamlanmış bir açık dal var ise, aşağıdakilerden hangisi kesin olarak doğrudur?

  11. 11

    Aşağıdakilerden hangisi çözümleyici çizelge yönteminde bir çıkarım geçerli olduğu durum doğru olarak verilmiştir?

  12. 12

    Aşağıdaki seçeneklerden hangisinde çözümleyici çizelgelerle ilgili bir bilgi yanlış olarak verilmiştir?

  13. 13

    Yukarıda verilen çözümleyici çizelge kuralı aşağıdaki önermelerden hangisine aittir?

  14. 14

    Çözümleyici çizelge yönteminde bir dalda ortaya çıkan aşağıdaki biçimde bir ifadede “k” sayısı neyi göstermektedir

                                       n. A (k)

  15. 15

    ((p ∧ (~p ∨ q)) → r) sembolik önermesinin 5. adımında aşağıdaki sembollerden hangisi yer almaktadır?

  16. 16

    Bir önerme ya da çıkarımın doğruluk tablosundaki satır sayısı, eğer bu önerme veya çıkarımda 5 önerme değişkeni geçiyorsa kaçtır?

  17. 17

    Yukarıda verilen çözümleyici çizelge örneği aşağıdaki verilen önermelerden hangisine aittir?

  18. 18

    Aşağıda verilen bilgilerden hangisi yanlıştır?

  19. 19

    Bir dalda birbirinin değili olan iki önerme ortaya çıkmış ise o dala ne denir?

  20. 20

    Yukarıdaki şekilde soru işareti (?) ile gösterilen yere aşağıdakilerden hangisi gelmelidir?

Şıkları ve doğru cevapları görSembolik Mantık dersinin tüm sınavları, cevap anahtarları, süreli mod ve yanlış analizi uygulamada.Uygulamada aç