Deneme Sınavı Soruları

I. Çözümleyici çizelge yönteminin ana fikri, çizelgedeki noktalarda bulunan önermelerin doğru olması için yeterli olan şartların belirtilmesidir.

II. Çizelgede açık bir dal bularak önerme için bir model oluşturmaya çalışılır.

III. Çözümleyici çizelge 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.

Yukarıda nicelemeli sembolik önermeler ve çözümleyici çizelgeler hakkında verilen bilgilerden hangisi veya hangileri doğrudur?

I.Bir dalda ilerlerken, bir ifade ve onun değili ortaya çıkarsa o dal açıktır. 

II. İşlem uygulanacak bir ifade kalmadığı halde kapanmayan bir dal açık bir
daldır. Bu durum o dalın sonuna bir × (çarpı) işareti konarak gösterilir.

III. Tümel-özelleme ve tikel-özelleme kurallarını, tümel ve tikel-nicelemelerin
değillenmesi kurallarını ve önerme eklemlerine ait kuralları uygulayarak ilerleriz. 

Yukarıda çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önerme için bir model bulmak için yapılması gerekenlerden hangisi veya hangileri yanlıştır?

Varlığı mantıksal bir çelişkiye yol açmayan herhangi bir nesneler topluluğuna .......... denir. 

Yukarıdaki cümlede boş bırakılan yere aşağıdakilerden hangisi getirilmelidir?

Niceleme mantığında her formül, başta bir dizi niceleyici ve ardından niceleyici
geçmeyen bir “matris” ile oluşmuş bir formüle eşdeğerdir. Bu biçime ne ad verilmektedir?

Yorumlamada ad sembollerine karşılık S kümesinin bir elemanını, yüklem sembollerine karşılık olarak da S kümesinin hangi ifadesini seçmemiz gerekir?

(∀x Fx v ∀x ~Gx) önermesi aşağıdaki modellerden hangisinde doğrudur?

I. Çizelgede tamamlanmış ve açık bir dal olması durumunda

II. Çizelge tamamlandığında tüm dallar kapanıyorsa

III. Ad sembolleri yerine elemanların konmasıyla 

IV. Öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olmasıyla

V. Çıkarımın bir karşı-modeli olmamasıyla

Yukarıda verilen durumlarda hangisinde önermeler birlikte çelişiktir?

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

Her köpek dört ayaklıdır önermesinin değili nedir?

“Bazı F ler G değildir” önermesinin sembolleştirilmiş hali aşağıdakilerden hangisidir?

“Bazı zengin insanlar, arkadaşları tarafından sevilmeyen insanlardır. Çünkü
Behiç zengin ama, arkadaşları tarafından sevilmeyen bir insandır.” çıkarımını
aşağıdaki sembolleştirme anahtarına göre sembolleştirildiğinde şıklardan hangisi doğru olur?
F: a zengindir
G: a insandır.
H: a arkadaşları tarafından sevilir.
A: Behiç

S_M ={a, b, c}, F^M = { a, b}, A^M =c modeline göre aşağıdaki önermelerden hangisi yanlıştır?

Aşağıdakilerden hangisi tikel-evetleme'ye örnektir?

Bir çıkarımda bulunduğumuzda sonuç önermesine ulaşmak için başlangıç noktası olarak aldığımız önermelere ne denmektedir?

Aşağıdaki seçeneklerden hangisinde çözümleyici çıkarımlar denetlenmesi ile ilgili bir bilgi yanlış verilmiştir?

Sembolik önermeler mantığında herhangi bir sembolik önerme olmayan önerme aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi geçerli bir çıkarımdır?

“Ali’nin mezun olmasının ve diplomasını almasının yeterli bir koşulu, Ali’nin tüm derslerinden geçmiş olmasıdır.” Önermesinin aşağıda verilen sembolleştirme anahtarına göre önermeler mantığında sembolleştirmesi aşağıdakilerden hangisidir?

p: Ali mezun olur.

q: Ali diplomasını alır.

r: Ali tüm derslerinden geçmiştir.

Aşağıdakilerden hangisi bir çıkarımdır?