Deneme Sınavı Soruları

Aşağıdakilerden hangisi tikel-niceleyiciye gündelik dilde örnek olarak verilebilir?

∃x Fx → ∀x (FA → Gx) önermesinin {a, b} kümesindeki açılımı aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi niceleme mantığının formüllerine ilişkin tanımlardan biri değildir? 

“Hiçbir F G değildir” önermesinin sembolleştirilmiş hali aşağıdakilerden hangisidir?

(∃x Gx ∧ ∀x (Fx ↔ Gx)) önermesini ön-nicelemeli normal biçime dönüştürerek
karşılıklı koşul ekleminin elenmesi sonucunda aşağıdaki önermelerden hangisi elde edilir?

∃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 (

Aşağıdakilerden hangisi niceleme mantığının sembolik dili için yanlış olur?

Aşağıdakilerden hangisi boş kümelerle ilgili doğrudur?

“∀” aşağıdaki sembolik dillerden hangisine örnektir?

“Her F G dir” önermesi, ................. biçiminde sembolleştirilir." Boşluğa ne gelmelidir?

Aşağıdakilerden hangisi tümel-niceleyiciye örnek değildir?

∀ν 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    

         ~  ⱻ x Fx                            ⱻGx 

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

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

Dünya Güneş ile ay arasına girdiğinde ay tutulması olur.

Yukarıdaki cümle aşağıdakilerden hangisine örnek olarak gösterilebilir?

“Uzun” sözcüğü hangi varlıklara, hangi durumlara uygulanabileceği kesin olarak belirlenemeyen bir sözcüktür. Bu durum “uzun” sözcüğünün aşağıdakilerden hangi özelliği taşıması anlamına gelir?

"Ali başarılı olmayı istediğinde, hem derslerine çok çalışır hem de spor yapar. O halde, Ali spor yapmadığında başarılı olmayı istemez" çıkarımının aşağıda verilen sembolleştirme anahtarına göre önermeler mantığında sembolleştirmesi aşağıdakilerden hangisidir?

p: Ali başarılı olmayı ister.

q: Ali derslerine çok çalışır.

r: Ali spor yapar.

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

“Öncül önermeler” adını alan bir grup önerme ve bir sonuç önermesinden oluşan önerme dizisine verilen isim aşağıdakilerden hangisidir?

Sembolleştirmenin üçüncü adımı nedir?

Değilleme eklemi sembolü aşağıdakilerden hangisidir?