Deneme Sınavı Soruları

Niceleme mantığında gündelik dile çeviri hangi sembollerinin gündelik dildeki karşılığını belirten çeviri anahtarına göre gerçekleştirilir.

Bir formülün sembolik niceleme mantığında bir “kapalı formül” veya “önerme” olması için aşağıdakilerden hangisi gereklidir.

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?

∃y (Gx ∨ ∀z Hz) formülünde ∃y tikel-nicelemesinin etki alanı aşağıdakilerden hangisidir?

Nicelemeli bir sembolik önermenin verilen bir modeldeki doğruluk değerini çözümleyici çizelge yöntemi ile nasıl hesaplayacağımızı görelim. İlk olarak,
önermede geçen ad sembolleri yerine, bunların modelde karşılığı olarak verilen
elemanları yazarak elde ettiğimiz ifadeyi, çözümleyici çizelgenin 1 numaralı kök
noktasına yazarız. Ardından tümel ve tikel-nicelemenin açılımı kurallarını, niceleyici değilleme kurallarını ve önerme eklemlerine ait çözümleyici çizelge kurallarını kullanarak ilerleriz. Bir dalda ilerlerken, Y bir yüklem sembolü, s modelin
evreninin bir elemanı olmak üzere Ys veya ~Ys biçimindeki bir ifade ortaya çıktığında;

I. Dalda ortaya çıkan ifade Ys ise ve modelde s ∈ YM ise, Ys ifadesi doğrudur
ve o dalda ilerlemeye devam ederiz.
II. Dalda ortaya çıkan ifade ~Ys ise ve modelde s ∉ YM ise, ~Ys ifadesi doğrudur ve yine o dalda ilerlemeye devam edebiliriz.
III. Dalda ortaya çıkan ifade Ys ifadesi ise ve modelde s ∉ YM ise, Ys ifadesi
yanlıştır ve o dalda daha fazla ilerlemeden, dalın sonuna bir × (çarpı) işareti
koyarız ve bu dalın “yanlış” bir dal olduğunu söyleriz.
IV Dalda ortaya çıkan ifade ~Ys ifadesi ise ve modelde s ∈ YM ise,~Ys ifadesi
yanlıştır ve o dalda daha fazla ilerlemeden, dalın sonuna bir × (çarpı) işareti
koyarız ve bu dalın “yanlış” bir dal olduğunu söyleriz.

Hangileri doğrudur?

Aşağıdakilerden hangisi sembolik bir önermeyi gündelik dile çevirirken izlenecek ilk adımdır?

I.Niceleyici-değilleme kuralları tüm kurallardan önce uygulanmalıdır.

II. Tikel-nicelemenin açılımı kuralı tümel-nicelemenin açılımı kuralından önce uygulanmalıdır.

III. Önerme eklemleri elenirken, alt alta yazma gerektiren kurallar çatal açma
kurallarından önce uygulanmalıdır.

IV.Bir niceleyici kuralı ile önerme eklemi kuralı arasında seçim yapmamız gerektiğinde de, alt alta yazma gerektiren kural çatal açma kurallarından önce uygulanmalıdır. 

Yukarıda çözümleyici çizelge yöntemi yapılan hesaplamalarda uyulması gereken kurallarla ilgili verilen bilgilerden hangisi yanlıştır?

Çözümleme çizelgesinde √ işareti ne anlama gelmektedir?

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

∀x (Gx ↔ Fx ∨ Hx) sembolik önermesini aşağıda verilen çeviri anahtarına göre
gündelik dile çevirisi aşağıdakilerden hangisidir?
F: a bir köpektir.
G: a’nın kuyruğu vardır.
H: a kedidir.

Tümel özellemenin olabilmesi için ne gereklidir?

Aşağıdakilerden hangisi niceleme mantığı bakımından diğerlerinden farklı bir yargıyı dile getirmektedir?

Aşağıdakilerden hangisi bileşik formüle bir örnektir?

"Mantıkta önerme eklemi olarak kullanılan ifadeler gündelik dilde önerme eklemi olarak yorumlanamayacak biçimde de kullanılabilir"

Aşağıdakilerden hangisinde "ve"bir önerme eklemi olarak yorumlanamaz?

Karşılıklı-koşul eklemi sembolü aşağıdakilerden hangisidir?

“Yarın ya alışverişe gideceğim ya da bir arkadaşımı ziyaret edeceğim.”

Yukarıdaki cümlede yer alan “ya... ya da" önerme eklemi aşağıdakilerden hangisine örnek gösterilebilir?

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

p                         p ᴧ ~q

                           p

                           ~q

çizelgesinde boşluğa ne gelmelidir?

I. Totoloji

II. Çelişme önermesi

III. Olumsal önerme 

Bir önermenin semantik statüsünün önermeler mantığı bakımından belirlenmesi yukarıdakilerden hangisi / hangilerini ortaya koyar?

Bir önermenin değilinin çözümleyici çizelgesi kapanır ise buna ne ad verilir?

Tüm basit önermeleri farklı birer önerme değişkeni ile sembolleştirmek şartı ile, elde edeceğimiz tüm sembolik çıkarımlar.......verecektir. Cümlede boş kalan yere gelmesi gereken sözcük dizisi hangisidir?