logo
Daha önce çıkmış sorular ve yeni eklenen sınavlar! Hemen keşfetmeye başlayın.

Seçmeli Ara Sınav - Sembolik Mantık

Soru 1:

Bir çıkarımın önermeler mantığında sembolleştirilmesi, çıkarımı oluşturan önermelerin önermeler mantığında sembolleştirilmesinden ve öncüllerle sonuç önermesi arasına hangi işaretin konulmasından ibarettir?

Soru 2:

sembolik önermesini, p: Ali mantık dersini geçebilir. q: Ali tüm alıştırmaları çözer. r: Ali sadece sınav öncesinde ders çalışır. s: Ali derslerine düzenli çalışır. t: Ali ders notlarını okur. Çeviri anahtarına göre gündelik dile çevirisi aşağıdakilerden hangisidir?

Soru 3:

“Cem doktordur.” ve “Bir insan doktorsa hastaları vardır.” önermelerinden oluşan gruba aşağıdaki önermelerden hangisini eklersek tutarlılık bozulmaz?

Soru 4:

Aşağıda bir çıkarımı oluşturan öncüller ve sonuç önermelerinin gerçek doğruluk değerleri ile çıkarımın geçerliliği arasındaki ilişkilerden hangisi doğrudur?

Soru 5:

Şekilde verilen çözümleyici çizelge için aşağıdakilerden hangisi doğrudur?

Soru 6:

Aşağıdakilerden hangisi geçerli bir çıkarımdır?

Soru 7:

Sembolleştirmenin kaçıncı aşamasında önerme eklemlerinin yerine önerme eklemi sembolleri konmaktadır?

Soru 8:

Aşağıdakilerden hangisi mantık biliminin kurucusudur?

Soru 9:

“Kimi doğru önermeler gerçek durum başka olsa bile yanlış olamayacak önermedir.” ifadesi aşağıdakilerden hangisidir?