Yeni eklenen sınavlar ve güncel içerikler! Hemen keşfedin

Yardım Sınavlara Göz At

Final Sınavı

Sembolik Mantık

Soru

Dakika

Görüntülenme

Çözülme

Sınav Ayarları

Cevapları Anında Göster

Her soruyu cevapladığınızda doğru/yanlış bilgisi gösterilir

Cevapları Sınav Sonunda Göster

Tüm soruları cevapladıktan sonra sonuçlar gösterilir

Soru 1

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

“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

Orta Zorluk

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

Orta Zorluk

A) 1 ve 2

B) 2 ve 3

C) 3 ve 4

D) 4 ve 5

E) 5 ve 6

Soru 6

Orta Zorluk

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?

Soru 7

Orta Zorluk

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

Orta Zorluk

“?” 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

Orta Zorluk

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

Orta Zorluk

Aşağıdakilerden hangisi doğrudur?

Soru 11

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

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

Orta Zorluk

İ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

Orta Zorluk

Çö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

Orta Zorluk

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

Orta Zorluk

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.

Derse Dön