Deneme Sınavı Soruları

Aşağıdaki önermelerden hangisi tümel-nicelemeli önermedir?

Önermelerin özne-yüklem yapısını ve "her", "bütün", "bazı", "kimi" gibi ifadeleri ele alan mantık sistemine  ne ad verilir? 

Gündelik dildeki bir önerme veya çıkarımı niceleme mantığında denetlemek,
bu önerme veya çıkarımın semantik statüsünü niceleme mantığı bakımından ortaya koymak demektir. Buna göre semantik statüsü;

I. geçerlilik,

II. geçersizlik,

III. tutarlılık,

IV. olumsallık durumunu

Hangileri Doğrudur?

Çizelgedeki bir dalda işlem uygulanacak bir ifade kalmadığı halde, o daldaki
(Fa, ~Gb ifadeleri gibi) Ys ve ~Ys biçimindeki tüm basit ifadeler ve değillenmiş
basit ifadeler ifadeleri doğru ise, o dal nasıl bir daldır?

Nicelemeli önermelerin sembolleştirilmesinde temel adım aşağıdakilerden hangisidir?

S_M ={a, b}, F^M = {b},  A^M =a modeline göre ∀x(Fx→FA) önermesinin açılımı aşağıdakilerden hangisidir?

∃x (Fx → ∀y Gy) önermesi için karşı-model oluşturmak için, çizelgedeki soru işaretli noktaya aşağıdaki formüllerden hangisi gelmelidir?

"Bazı insanlar zekidir ancak bazılar zeki değildir." önermesi aşağıdaki önermelerden hangilerinin birleşimi oluşmaktadır?

Verilen çeviri anahtarına göre Ǝx(Fx ∧ Gx) ∴ ∀x(Gx → Hx) sembolik çıkarımının gündelik dile çevirisi aşağıdakilerden hangisidir?

F: a kanatlıdır.

G: a kuştur.

H: a canlıdır.

Aşağıdakilerden hangisi tikel-niceleyiciye örnektir?

"A ve B önermelerinin niceleme mantığı bakımından eşdeğer olduğunu çözümleyici çizelge yöntemi ile göstermek, ............ önermesinin niceleme mantığında geçerli olduğunu göstermek demektir." Boşluğa ne gelmelidir?

“Hiçbir hayvan insan değildir.” önermesinin değili aşağıdakilerden hangisidir?

(∃y (Gy ∨ ∀z Hz) ↔ ∃x Gx) formülü ile ilgili aşağıdakilerden hangisi doğrudur?

Aşağıdakilerden hangisi bir ifadenin birbiriyle ilgisiz birden fazla anlamda kullanılmasıdır?

Aşağıdakilerden hangisi birtakım doğrulardan veya kabullerden hareket ederek, bir sonuca varmak demektir?

Mantıkta, anlamlı ve kesin yargı bildiren bildirsel tümceler aşağıdakilerden hangileridir?

Düzgün akıl yürütmelere başvurmaya çalışmamızın önemli olmasının nedeni bu akıl yürütmelerin hangi özelliğidir?

“Ali’nin mezun olmasının ve diplomasını almasının gerekli 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.

"Ali’nin iyi uyuması, sağlıklı ve başarılı olması için gerekli bir koşuldur" önermesinin aşağıda verilen sembolleştirme anahtarına göre önermeler mantığında sembolleştirmesi aşağıdakilerden hangisidir?

p: Ali iyi uyur

q: Ali sağlıklıdır

r: Ali başarılı olur