Deneme Sınavı Soruları

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?

∀x (Fx → ∀y Fy) önermesinin {a,b} kümesindeki doğrusal açılımı aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi "Hiçbir F G değildir" önermesinin sembolleştirilmiş halidir?

Ǝx (Fx v Gx) önermesinin {a,b} kümesindeki doğrusal açılımı aşağıdakilerden hangisidir?

"Çözümleyici çizelge ile model oluştururken bir dalda .......... biçiminde bir önerme ortaya çıktığında, o dalda ortaya çıkmamış yeni bir s elemanı için A (s) ifadesi dala eklenmelidir. "

Aşağıdakilerden hangisi "her F G dir" önermesinin sembolleştirilmiş halidir?

Aşağıdakilerden hangisinde "X kümesi Y kümesinin alt kümesidir" ifadesinin sembolik olarak gösteriliş biçimidir?

Çözümleyici çizelge ile geçerlilik denetlemesi yaparken aşağıdakilerden hangisi ya da hangileri  doğru olur?

I. Tikel-özelleme kuralının tümel-özelleme kuralına önceliği vardır.

II. Alt alta yazma kurallarının çatal açma kurallarına önceliği vardır.

III. 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 kapalı olması gerekir.

Niceleme mantığında temel olarak kabul edilen iki niceleyiciden hangisi “bazı” sözcüğü ile dile getirilmektedir?

~∃ν A ve ∀ν ~A önermeleri niceleme mantığında eşdeğer önermeler olduğundan, daldaki bir üst noktada ~∃ν A
ifadesi varsa, o dalda bir nokta olarak ∀ν ~A ifadesi eklenir

Yukarıdaki ifade hangi kurala aittir?

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.

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?

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?

Çizelge tamamlandığında en az kaç dal doğru ise, çizelgesini yaptığımız önerme bize verilen doğruluk değerlemesinde doğrudur?

“Ve” diye okunan tümel-evetleme ekleminin sembolü aşağıdakilerden hangisidir?

Anlamlı olan ve kesin bir yargı bildiren tümcelere ne denir?

I.  Önerme eklemlerinin eşanlamlıları yerine standart önerme eklemleri yazılarak önermenin standart biçimi elde edilir. 

II.  Basit önermeler yerine, sembolleştirme anahtarında verilen önerme değişkenleri konur.

III.  Önerme eklemlerinin yerine önerme eklemi sembolleri konur.

IV. İstenirse, okumada kolaylık sağlamak amacıyla, kimi parantezler işlem önceliği kurallarına göre kaldırılabilir.

Yukarıdakim cümlelerden hangileri yer değiştirirse sembolleştirmenin adımları doğru bir şekilde verilmiş olur?

Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını göstere listeye ne ad verilir? 

Bir ifadenin hangi varlıklara, hangi durumlara uygulanabileceğinin kesin olarak belirlenememesine ne ad verilir?