Sembolik Mantık Çıkmış Sorular, Online Deneme Sınavları, Çalışma, Dersler, Sınava Hazırlanma, vize, final

Soru 1:

Aşağıdakilerden hangisi sonsuz bir kümeye örnek olarak gösterilebilir?

A) S={x ∈ Z} B) H={pazartesi, salı, çarşamba, perşembe, cuma} C) A={haziran, temmuz, ağustos} D) T={} E) P={pazartesi, perşembe, pazar}

Soru 2:

p q p∧q pvq D D D D D Y Y D Y D Y D Y Y Y Y Yukarıdaki tabloya göre aşağıdakilerden hangisi doğrudur?

A) S={p,q,p∧q,p∨q } önermeler kümesi tutarlıdır. B) p∨q totolojidir. C) p∧q çelişkidir. D) q⊧p E) p∧q→p≡p ∧q

Soru 3:

“Her insan ölümlüdür” önermesinin değili aşağıdakilerden hangisidir?

A) Bazı insanlar ölümlü değildir. B) Tüm insanlar ölümlüdür. C) En az bir insan ölümlüdür. D) Bütün insanlar ölümlü değildir. E) Bazı insanlar ölümlüdür.

Soru 4:

Doğrusal açılım yöntemi ile nicelemeli sembolik önermelerin bir modeldeki doğruluk değerini aşağıdakilerden hangisi ile tanımlanabilinir?

A) S = {a, b, c, ...} B) S ∈YM C) S ∉YM D) ~Ys E) ∀ν A

Soru 5:

A) 1 ve 2 B) 2 ve 3 C) 3 ve 4 D) 4 ve 5 E) 5 ve 6

Soru 6:

F: a bireydir. G: a yaptığının kötülük olduğunu bilir. H: a kötülük yapar. Yukarıdaki sembolleştirme anahtarına göre, “Yaptığının kötülük olduğunu bilen hiçbir birey kötülük yapmaz” önermesinin niceleme mantığında sembolleştirmesi aşağıdakilerden hangisidir?

A) B) C) D)

Soru 7:

Yukarıdaki ifadelerden hangileri açık bir formül belirtir?

A) Sadece I B) Sadece II C) Sadece III D) II ve III E) I, II ve III

Soru 8:

“?” aşağıdaki sembolik dillerden hangisine örnektir?

A) Önerme eklemleri B) Yüklem sembolleri C) Tümel-niceleyici D) Tikel-niteleyici E) Ad sembolleri

Soru 9:

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

A) ∀x ∃x B) Fx∀x C) Fx∃x D) ∀x Fx E) ∃x Fx

Soru 10:

Aşağıdakilerden hangisi doğrudur?

A) B) C) D)

Soru 11:

Eklemlerin öncelik sırasına göre parantezler kaldırıldığında ((p ˅ q) ˄ r)) → (p˅~(q ˄ r)) önermesinden elde edilen önerme aşağıdakilerden hangisidir?

A) (p ˅ q) ˄ r→p˅~(q ˄ r) B) (p ˅ q) ˄ r→p˅~q ˄ r C) (p ˅ q) ˄ r→ (p˅~q) ˄ r D) p ˅ q ˄ r→p˅~(q ˄ r) E) (p ˅ q) ˄ r) → (p˅~q ˄ r))

Soru 12:

Bir çıkarımın önermeler mantığında sembolleştirilmesi aşamasında aşağıdaki işaretlerden hangisi kullanılır?

A) v B) → C) ~ D) ˄

Soru 13:

y (Fy → Ɐz (Gz ˄ Ga) önermesinin {a,b} kümesindeki doğrusal açılımı aşağıdakilerden hangisidir?

A) (Fb → ((Ga ˄ GA) ˄ (Ga ˄ GA))) ˅ (Fb → ((Ga ˄ GA) ˄ (Gb ˄ GA))) B) (Fa → ((Ga ˄ GA) ˄ (Gb ˄ GA))) ˅ (Fb → ((Ga ˄ GA) ˄ (Gb ˄ GA))) C) (Fa → ((Ga ˄ GA) ˄ (Ga ˄ GA))) ˅ (Fb → ((Ga ˄ GA) ˄ (Gb ˄ GA))) D) (Fa → ((Ga ˄ GA) ˄ (Gb ˄ GA))) ˅ (Fa → ((Ga ˄ GA) ˄ (Gb ˄ GA))) E) (Fa → ((Gb ˄ GA) ˄ (Gb ˄ GA))) ˅ (Fb → ((Ga ˄ GA) ˄ (Gb ˄ GA)))

Soru 14:

En az bir serbest değişken geçişi olan bir formüle ne denir?

A) Basit formül B) Kapalı formül C) Açık formül D) Niceleyici E) Bileşik formül

Soru 15:

İki bileşeni de yanlış ise yanlış olan önerme eklemi aşağıdakilerden hangisidir?

A) Değilleme Eklemi B) Tikel Evetleme Eklemi C) Tümel Evetleme Eklemi D) Koşul Eklemi E) Karşılık-koşul Eklemi

Soru 16:

Çözümleyici çizelge ile nicelemeli bir sembolik çıkarımın geçersiz olduğunu göstermek için yapılması gereken aşağıdakilerden hangisidir?

A) Kök noktasından başlayarak, öncüllerde ve sonucun değilinde ad sembolleri yerine birer eleman yazarak oluşturulan ifadeleri yazarak oluşturulan çizelgede en az bir açık dal olmalıdır. B) Kök noktasından başlayarak, çıkarımı oluşturan önermelerin değilleri yazarak oluşturulan çizelgede en az bir açık dal olmalıdır. C) Kök noktasından başlayarak, öncüllerde ve sonucun değilinde ad sembolleri yerine birer eleman yazarak oluşturulan ifadeleri yazarak oluşturulan çizelgede tüm dallar kapanmalıdır. D) Kök noktasından başlayarak, öncüllerde ve sonucun değilinde ad sembolleri yerine birer eleman yazarak oluşturulan ifadeleri yazarak oluşturulan çizelgede tüm dallar açık olmalıdır. E) Kök noktasından başlayarak, çıkarımı oluşturan önermeleri yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.

Soru 17:

Modelin üzerine kurulduğu kümeye ne denir?

A) Boş küme B) Sonlu küme C) Alt küme D) Öz alt küme E) Taşıyıcı küme

Soru 18:

Nicelemeli önerme niceleme mantığında ne zaman geçerli olur?

A) Bazı modellerde doğru olan bir nicelemeli önerme,niceleme mantığında “geçerli” bir önermedir. B) Tüm modellerde yanlış olan bir nicelemeli önerme,niceleme mantığında “geçerli” bir önermedir. C) Bazı modellerde yanlış olan bir nicelemeli önerme,niceleme mantığında “geçerli” bir önermedir. D) En az bir modelde doğru olan bir nicelemeli önerme, niceleme mantığında “geçerli” bir önermedir. E) Tüm modellerde doğru olan bir nicelemeli önerme,niceleme mantığında “geçerli” bir önermedir.