Deneme Sınavı Soruları

Aşağıdakilerden hangisi sembollerin gündelik dile çevirisinin 3. adımıdır?

Niceleme mantığının sembolik diline göre "↔" sembolü aşağıdakilerden hangisine aittir?

"....................... ile nicelemeli bir sembolik önermenin bir modelde doğruluk değerini
hesaplarken, çizelgede en az bir doğru dal ortaya çıkarsa, önerme bize verilen modelde
doğrudur. Çizelgede tüm dallar yanlış ise, önerme bize verilen modelde yanlıştır."

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

a<5 ifadesi için aşağıdakilerden hangisini söyleyebiliriz?

Yunus bir memelidir önermesi niceleyici olarak nasıl formül edilir.

Çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önerme için bir model bulmak için;
1. Önermede her S ad sembolü yerine s elemanını yazarız: A yerine a, B yerine
b, ... gibi. Bir ad sembolünün her geçtiği yere aynı eleman konmalıdır.
2. 1 numaralı kök noktasına elde ettiğimiz ifadeyi yazarız.
3. Tümel-özelleme ve tikel-özelleme kurallarını, tümel ve tikel-nicelemelerin
değillenmesi kurallarını ve önerme eklemlerine ait kuralları uygulayarak
ilerleriz. Burada özellikle dikkat etmemiz gereken nokta şudur: Dalda ortaya çıkan her eleman için o daldaki her ∀ν A ifadesine tümel-özelleme kuralı
uygulanmalıdır. Bir ∀ν A ifadesine tümel-özelleme kuralı uygulandıktan
sonra da dalda yeni bir eleman ortaya çıkarsa, ∀ν A ifadesine o eleman için
de tümel-özelleme kuralı uygulanmalıdır.
4. Bir dalda ilerlerken, bir ifade ve onun değili ortaya çıkarsa o dal kapalıdır ve
bu durum o dalın, sonuna × (çarpı) işareti konarak kapanmasıyla belirtilir.
5. İşlem uygulanacak bir ifade kalmadığı halde kapanmayan bir dal açık bir
daldır. Bu durum o dalın sonuna bir √ işareti konarak gösterilir.

Hangileri doğrudur?

..................önerme değişkenleri yerine niceleme mantığının önermelerinin konmasıyla elde edilen niceleme mantığı önermeleri niceleme mantığında geçerli önermelerdir. 

Yukarıdaki boşluğa aşağıdaki seçeneklerde verilen kavramlardan hangisi getirilmelidir?

Kaç tane niceleyici kuralı vardır?

Aşağıdakilerden hangisi ya da hangileri çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken hata yapmaktan kaçınmak için izlenebilecek “öncelik kurallarındandır?

I. Niceleyici-değilleme kuralları tüm kurallardan önce uygulanmalıdır.
II. Tümel-nicelemenin açılımı kuralı tikel-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. 

Bir A önermesinde geçen tüm nicelemelerin bir S kümesine göre elenmesiyle elde edilen ifade, A önermesinin S kümesindeki bir ____________ olarak adlandırılır.

"En az bir insan filozoftur" diyen bir kişi, ne tür bir niteleyici önermede bulunmuştur? 

Aşağıdaki ifadelerden hangisi bir koşul önermesi değildir?

"Ali’nin iyi uyuması, sağlıklı ve başarılı olması için gerekli bir koşuldur." önermesinin standart biçimi aşağıdakilerden hangisidir?

Hangisi önermelere eklenerek veya önermeleri birleştirerek yeni önerme elde etmemizi sağlayan ifadelerdir?

A önermesinin doğru olduğu, yani D değerini aldığı, tüm değerlemelerde B önermesi de doğru oluyor, yani D değerini alıyorsa, A önermesi B önermesini mantıksal olarak içerir.

Bu durum aşağıdakilerin hangisiyle ifade edilir?

Bir sembolik önermenin çözümleyici çizelgesindeki açık kalan tamamlanmış dallara göre önerme için ne oluşturabiliriz?

Bir önermenin doğru veya yanlış olduğu nasıl tanımlanmaktadır?

Aşağıdaki seçeneklerden hangisinde çözümleyici çizelgelerle ilgili bir bilgi yanlış olarak verilmiştir?