Sembolik Mantık
Deneme Sınavı Soruları
- 20 soru
- Cevap anahtarı açık: çöz, sonucunu gör
- 1
SM ={a, b}, FM = {a,b}, GM = {b}, AM =a, BM =b modelinde aşağıdaki önermelerden hangisi yanlıştır?
- 2
{a, b, c} kümesi üzerindeki M modelinde FM = {a, b}, GM = {b, c} olsun. Buna göre, a ∈ FM ve b ∈ FM olduğundan, modelde ne doğru ya da ne yanlıştır?
- 3
Niceleme mantığında herhangi bir yüklem sembolünün bir kümede yorumlanması ne demektir?
- 4
Aşağıdakilerden hangisi ∃x (Fx ∧ Gx) ∴ ∀x (Fx → GA) çıkarımının bir karşı-modelidir?
- 5
Aşağıdakilerden hangisi niceleme mantığı bakımından “Kimi kediler sıcakkanlıdır” önermesi ile aynı yargıyı dile getirmektedir?
- 6
∀y(Fy v Gy) önermesinin {a,b} kümesindeki doğrusal açılımı aşağıdakilerden hangisidir?
- 7
".................... bir sembolik çıkarımın geçerliliğini denetlerken, öncüllerde ve sonucun değilinde her S ad sembolü için s elemanını koyarak (aynı ad sembolünün çıkarımdaki her geçişi yerine aynı elemanı koymaya dikkat ederek), model oluşturma kurallarına göre ilerleriz. Çizelgede tüm dallar kapanırsa (yani çizelge kapanırsa) çıkarım geçerlidir."
- 8
Her F G dir” önermesi nasıl sembolleştirilir?
- 9
Bir formülde tüm değişken geçişleri bağlı ise bu formül sembolik niceleme mantığında ne denir?
- 10
Aşağıdakilerden hangisi bir çıkarımın karşı-modelini oluşturulmasıyla ilgili doğru bir bilgidir?
- 11
Aşağıdakilerden hangisi niceleme mantığının formüllerine ilişkin tanımlardan biri değildir?
- 12
“Bazı bisikletler kırmızı değildir.” önermesinin değili aşağıdakilerden hangisidir?
- 13
SM ={a, b, c}, FM = { b, c}, AM =b modeline göre aşağıdaki önermelerden hangisi doğrudur?
- 14
((p ∧ (~p ∨ q)) → r) sembolik önermesinin 5. adımında aşağıdaki sembollerden hangisi yer almaktadır?
- 15
Bir bileşik önermede en son birleştirilen önermeler bu bileşik önermenin neyi olmaktadır?
- 16
Aşağıdakilerden hangisinde “ve” sözcüğü bir önerme eklemi olarak kullanılmamıştır?
- 17
Aşağıdaki çözümleyici çizelgede soru işaretli yere
hangi önerme gelmelidir?1. ~(q → (q → r))
2. q
3. ?
- 18
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?
- 19
Bir önermenin mantıksal biçimini ortaya çıkarmak için yapılması gereken öncelikli iş aşağıdaki seçeneklerin hangisinde doğru olarak verilmiştir?
- 20
Çözümleyici çizelgedeki her numaralı önerme çizelgede bir nokta, 1 numaralı tepe noktasına çizelgenin kökü, kökten itibaren aşağıya doğru birbirini izleyen önermeler dizisine verilen isim aşağıdakilerden hangisidir?