Deneme Sınavı Soruları

“Her canlı üremiştir. O halde, hiçbir canlı ilk canlı değildir” çıkarımını aşağıdaki
sembolleştirme anahtarına göre sembolleştirilmiş hali aşağıdakilerden hangisidir?
F: a ilktir.
G: a canlıdır.
H: a üremiştir

FA → ∃x (Fx ∧ Gx) sembolik önermesini aşağıda verilen çeviri anahtarına göre
gündelik dile çevirelim:
F: a asal sayıdır.
G: a çift sayıdır.
A: 2
1. adımda, verilen sembolik önermede, okuma kolaylığı sağlamak için kaldırılmış parantez olmadığından, bu adımda yine FA → ∃x (Fx ∧ Gx) önermesini elde ederiz.
2. adımda, “A” ad sembolü yerine, sembolleştirme anahtarında verilen karşılığını koyarak
F 2 → ∃x (Fx ∧ Gx)
ifadesini elde ederiz.
3. adımda, yüklem sembolleri yerine, sembolleştirme anahtarında verilen
yüklem ifadelerini küme parantezleri içine koyarak ve bu ifadelerin yanına
yüklemin uygulandığı değişkenleri koyarak,
{a asal sayıdır} 2 → ∃x ({a asal sayıdır}x ∧ {a çift sayıdır}x)
ifadesini elde ederiz.
4. adımda, önermede geçen {Y(a)}X ifadeleri yerine, Y(a) yüklem ifadesinde
a yerine X değişken veya ad sembolünün konmasıyla elde edilen Y(X) ifadesini koyarak,
2 asal sayıdır → ∃x (x asal sayıdır ∧ x çift sayıdır)
ifadesini elde ederiz.
5. adımda niceleyiciler ve önerme eklemi sembolleri yerine niceleme ifadelerini ve önerme eklemlerini koyarak,
2 asal sayıdır ise, bazı x (x asal sayıdır ve x çift sayıdır)
ifadesini elde ederiz.
6. adımda, doğal bir ifade elde etmek için parantezler yerine noktalama işaretleri koyarak ve niceleme ifadesini ve önerme eklemlerini eş anlamlı başka ifadelerle değiştirerek, 2 asal sayı ise, bazı asal sayılar çift sayıdır. Gündelik dil önermesini elde ederiz.

Hangisi Doğrudur?

"Hiçbir insan dört ayaklı değildir ." önermesinin değili aşağıdakilerden hangisidir?

Gündelik dilde tümel niceleyici için hangi ifade kullanılmaktadır?

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

Niceleme mantığında bir çıkarımın geçersiz olduğunu, nasıl gösterebiliriz?

“Hiçbir F G değildir” önermesi, ................ biçiminde sembolleştirilir." Boşluğa ne gelmelidir?

                           ⱻ x Fx →  ⱻGx    

         ~  ⱻ x Fx                            ⱻGx 

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

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

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

Bir yüklem sembolünün bir kümede yorumlanması, o kümede o yüklemin belirttiği özelliğe sahip elemanlardan oluşan altkümenin belirtilmesidir. Bu altküme yüklemin __________ olarak adlandırılır.

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

Bazı F'ler G değildir. ifadesinin sembolik önermesi aşağıdakilerden hangisiir?

ⱻx Px ᴧ Qx ≡  ............   boşluğa ne gelmelidir?   

İkili bir eklemin doğruluk tablosu kaç satırdan oluşur?

Aşağıdakilerden hangisi sembolleştirmenin aşamalarından değildir?

I. Sembolik önermede geçen önerme değişkenleri yerine, çeviri anahtarında belirtilen gündelik dil önermeleri konur

II. Verilen sembolik önermede, kısaltma amacıyla eksik bırakılmış parantezler yerine konur

III. Elde edilen ifadeyi doğal bir gündelik dil önermesine dönüştürmek için, parantezler kaldırılarak istenen önerme eklemlerinin yerine eş anlamlıları ve uygun noktalama işaretleri yerleştirilir

IV.  Önerme eklemi sembolleri yerine önerme eklemleri konur

Gündelik dile çevirme ile ilgili aşamalar aşağıdaki seçeneklerin hangisinde doğru sıra ile verilmiştir?

Yukarıda verilen çözümleyici çizelge örneği aşağıdaki verilen önermelerden hangisine aittir?

Aşağıdakilerden hangisi sembolleştirmenin 4. aşamasında yer almaktadır?

Aşağıdakilerden hangisi, akıl yürütme yanlışlarının mantık bakımından asıl önemli nedenidir?