Sembolik Mantık
Deneme Sınavı Soruları
- 20 soru
- Cevap anahtarı açık: çöz, sonucunu gör
- 1
Çözümleyici çizelge ile ilgili aşağıdaki ifadelerden hangisi yanlıştır?
I. Çözümleyici çizelge ile model oluştururken, çatal açma kurallarının alt alta yazma kurallarına önceliği vardır
II. Tikel-özelleme kuralı da tümel-özelleme kuralından sonra uygulanmalıdır
III. Çözümleyici çizelge bir tek daldan oluşmaktadır ve bu dal tamamlandığı halde açıktır
- 2
SM ={a, b, c}, FM = {a, b, c}, AM =a modeline göre aşağıdaki önermelerden hangisi yanlıştır?
- 3
Aşağıdakilerden hangisi niceleme mantığında geçerli bir çıkarımdır?
- 4
FA → ∃x (Fx ∧ Gx) sembolik önermesini aşağıda verilen çeviri anahtarına göre gündelik dile çevirisi aşağıdaki seçeneklerden hangisidir?
F: a asal sayıdır.
G: a çift sayıdır.
A: 2 - 5
Aşağıdakilerden hangisi ∀x ((Fx ∧ GA) ∨ (Gx → Hx)) önermesini denetleyebileceğimiz modellerden biridir?
- 6
Aşağıdakilerden hangisi (∃x Fx ∧ ∃x Gx) → ∃x(Fx ∧ Gx) önermesinin bir karşı modelidir?
- 7
∀x(Fx→∀y(Gx v Gy)) önermesinin {a, b} kümesindeki açılımı nedir?
- 8
Ǝx (Fx ∧ ~Gx) önermesi aşağıdaki modellerden hangisinde doğrudur?
- 9
∃x ((Fx ∧ Gx) ∧ Hx)
F: a Türkiye'de doğmuştur.
G: a doktordur.
H: a evrenseldir. Sembolik önermenin gündelik dildeki karşılığı nedir? - 10
Aşağıdakilerden hangisi tümel-niceleyiciye örnek değildir?
- 11
~∃ν A ve ∀ν ~A önermeleri niceleme mantığında eşdeğer önermeler olduğundan, daldaki bir üst noktada ~∃ν A ifadesi varsa, o dalda bir nokta olarak ∀ν ~A ifadesi eklenir.
Yukarıda verilen ifade niceleyici değilleme kurallarından hangisine aittir?
- 12
∀x ((Fx ∧ GA) ∨ (Gx → Hx)) önermesinin {a,b} kümesindeki bir doğrusal açılımı aşağıdakilerden hangisidir?
- 13
Aşağıdakilerden hangisi sonsuz bir kümeye örnek olarak gösterilebilir?
- 14
Çözümleyici çizelge yönteminde bir dalda birbirinin değili olan iki önerme ortaya çıkmış ise, o dal için … denir.
Bu tümcede boşluk bırakılan yere aşağıdakilerden hangisi yazılmalıdır?
- 15
Aşağıdakilerden hangisi tümel evetleme eklemi olarak kullanılır?
- 16
Bir önermenin mantıksal biçimini ortaya çıkarmak için, önce ne gereklidir?
- 17
Aşağıdakilerden hangisi anlamsız bir ifadedir?
- 18
Çözümleyici çizelge yönteminde bir dal kapanmış ise ya da dalda çözümleyici çizelge kurallarından birini uygulayabileceğimiz hiçbir bileşik önerme kalmamış ise, o dal … bir daldır.
Bu tümcede boşluk bırakılan yere aşağıdakilerden hangisi yazılmalıdır?
- 19
Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını gösteren listeye ne ad verilir?
- 20
p → q, ~p → q ∴ q çıkarımının geçerliliği çözümleyici çizelge yöntemi ile denetlendiğinde 3. öncül aşağıdakilerden hangisi olmalıdır?