Ünite Sınavı Soruları

F gündelik dilde bir yüklem olmak üzere "Bazı şeyler F'dir." önermesinin sembolik olarak gösterimi aşağıdakilerden hangisidir?

Bir nicelemeli önermenin bir kümedeki açılımını elde etmekteki temel fikir, nedir?

Eğer α nesnesi S kümesini oluşturan nesneler arasında değil ise, bu durum sembolik olarak nasıl gösterilir?

Varlığı mantıksal bir çelişkiye yol açmayan herhangi bir nesneler topluluğuna ne ad verilir?

Aşağıdaki modellerin hangisi ∀x (Fx ∧ ~Gx)  ∴ ∀x (Fx ∧ GA) çıkarımının bir karşı-modelidir?

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

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 ∧ GA) ∨ (Gx → Hx)) önermesinin {a,b} kümesindeki bir doğrusal açılımı aşağıdakilerden hangisidir?

Aşağıdakilerden hangisi ∃x ∃y (Fx ∧ ~Fy) \ ∃x ∀y (Fx ∧ ~Fy) çıkarımı için iki elemanlı bir karşı-modeldir?

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

Aşağıdakilerden hangisi bir çıkarımın karşı-modelini oluşturulmasıyla ilgili doğru bir bilgidir?

S_M = {a, b, c}, G^M = {c}, A^M = b şeklindeki ifade, içinde F yüklemi geçen önermeler göz önüne alındığında, F^M kümesini vermediği için eksik bir modeldir.

Yukarıdaki eksik modele göre, aşağıdaki durumlardan hangisinde FA ↔ ∀x ~Gx önermesi kesinlikle doğru bir önerme olur? 

Aşağıdakilerden hangisi boş kümelerle ilgili doğrudur?

Aşağıdakilerden hangisi ∃x (Fx ∧ Gx) ∴ ∀x (Fx → GA) çıkarımının bir karşı-modelidir?

Bir yüklem sembolünün bir kümede yorumlanması, o kümede o yüklemin belirttiği özelliğe sahip elemanlardan oluşan altkümenin belirtilmesidir. Bu altküme yüklemin __________ olarak adlandırılır.

Eğer α nesnesi S kümesini oluşturan nesneler arasında değil ise,
“α nesnesi S kümesinin elemanı değildir” denir.

Yukarıda sözü geçen durumun sembolik ifadesi aşağıdakilerden hangisidir? 

{a, b, c} kümesi üzerindeki M modelinde FM = {a, b}, GM = {b, c} olsun. Buna göre, a ∈ FM ve b ∈ FM olduğundan, modelde ne doğru ya da ne yanlıştır?

∀x(Fx→∀y(Gx v Gy)) önermesinin {a, b} kümesindeki açılımı nedir?

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