SEMBOLİK MANTIK

Y bir yüklem sembolü, s modelin evreninin bir elemanı olmak üzere Y_s veya 

~Y_s biçimindeki bir ifade ortaya çıktığında aşağıdakilerden hangisi ya da hangileri doğru olur?

Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için izleyebileceğimiz “öncelik kuralları” vardır.Buna göre aşağıdakilerden hangisi 
bu kurallardan biri değildir?

ⱻ x Fx →  ⱻGx    

         ~  ⱻ x Fx                            ⱻGx 

          ..............

Yukarıda verilen sembolik çizelgede boşluğa aşağıdakilerden hangisi gelmelidir?

Çözümleyici çizelge ile model oluştururken bir dalda ∃νA biçiminde bir önerme
ortaya çıktığında, o dalda ortaya çıkmamış yeni bir s elemanı için dala aşağıdaki ifadelerden hangisi eklenmelidir?

∀ν A ..............nicelemeli önermesinin bir modelde doğru olması için, bu modeldeki her s elemanı için A(s) ifadesinin doğru olması gerekir.Dolayısıyla, çözümleyici çizelgede bir dalda ilerlerken ∀ν A biçiminde bir önermeortaya çıktığında, o dalda ortaya çıkmış her s elemanı için A(s) ifadesi dala eklenmelidir. Noktalı yere aşağıdakilerden hangisi gelmelidir?

∃x (Fx ∧ ~Gx) ∧ ∃y (Gy ∧ ~Fy) önermesi için bir model oluşturursak 6 numaralı yere hangisi gelmelidir? 
1. ∃x (Fx ∧ ~Gx) ∧ ∃y (Gy ∧ ~Fy)
2. ∃x (Fx ∧ ~Gx) (1)
3. ∃y (Gy ∧ ~Fy) (1)
4. (Fa ∧ ~Ga) (2)
5. Fa (4)
6. ........... (4)
7. Gb ∧ Fb (3)
8. Gb (7)
9. ~Fb (

(FA ↔ GB) → ∀x (Fx ∨ Gx) önermesi için bir karşı-model oluşturursak aşağıdakilerden hangisini elde ederiz?

Nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için, önermenin değilinin model oluşturma kurallarına göre oluşturulan tamamlanmış çözümleyici
çizelgesinin nasıl olması gerekir?

Doğrusal açılım sonucunda(I)..........biçimindeki tümel-niceleme ifadeleri tümel-evetleme ifadelerine(II)................ biçimindeki tikel-niceleme ifadeleri de tikel-evetleme ifadelerine dönüşmektedir

Yukarıdaki boşluklara sırası ile aşağıdaki seçeneklerde belirtilen sembolik önermelerden hangileri getirilmelidir?

Çözümleyici çizelge ile nicelemeli bir sembolik önermenin bir modelde doğruluk değerini hesaplarken, çizelgede en az kaç doğru dal ortaya çıkarsa,   
önerme, bize verilen modelde doğrudur?

Çizelgedeki bir dalda işlem uygulanacak bir ifade kalmadığı halde, o daldaki
(Fa, ~Gb ifadeleri gibi) Ys ve ~Ys biçimindeki tüm basit ifadeler ve değillenmiş
basit ifadeler ifadeleri doğru ise, o dal nasıl bir daldır?

Aşağıdakilerden hangisi, çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için izleyebileceğimiz "öncelik kurallardan" biri değildir?

Çözümleyici çizelge ile model oluştururken, bir dalda ∀ν A biçiminde bir önerme ortaya çıktığında, o dalda ortaya çıkmış her s elemanı için hangi ifade dala eklenmelidir?

Çö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

Nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için,önermenin değilinin model oluşturma kurallarına göre oluşturulan tamamlanmış çözümleyici çizelgesinin nasıl olması gerekir?

A ve B önermelerinin niceleme mantığı bakımından eşdeğer olması, bu iki önermenin tüm modellerde aynı doğruluk değerini almaları demektir. Bu durum sembolik olarak aşağıdakilerden hangisi ile gösterilir?

Bir çıkarımın geçersiz olması aşağıdakilerden hangisi ile açıklanır?

Aşağıdaki ifadelerden hangisi doğrudur?

Çizelgede tüm dallar.................çıkarım geçerli olur 

Yukarıdaki boşluğa aşağıdaki ifadelerden hangisi getirilirse doğru olur?

∃x (Fx → ∀y Gy) önermesi için karşı-model oluşturmak için, çizelgedeki soru işaretli noktaya aşağıdaki formüllerden hangisi gelmelidir?