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

Varlığı mantıksal bir çelişkiye yol açmayan herhangi bir nesneler topluluğuna .......... denir. Yukarıdaki cümlede boş bırakılan yere aşağıdakilerden hangisi getirilmelidir?

A) altküme

B) özaltküme

C) kitle

D) küme

E) model

Soru 2

Orta Zorluk

A) I

B) I ve II

C) I ve III

D) II ve III

E) I, II ve III

Soru 3

Orta Zorluk

Yukarıdaki çizelgeye göre aşağıdakilerden hangisi A önermesinin bir modelidir?

A) Sm= {a,b,c}, Fm= {c}, Gm= {a,b}

B) Sm= {a,b}, Fm= {a,c}, Gm= {c}

C) Sm= {a,b,c}, Fm= {a,c}, Gm= {b}

D) Sm= {a}, Fm= {c}, Gm= { }

E) Sm= {b,c}, Fm= { }, Gm= {c}

Soru 4

Orta Zorluk

Bir formülde tüm değişken geçişleri bağlı ise, bu formül sembolik niceleme mantığında aşağıdakilerden hangisidir?

A) Basit formül

B) Açık formül

C) Kapalı formül

D) Bileşik formül

E) Ön nicelemeli formül

Soru 5

Orta Zorluk

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

A) Y⊆X

B) X⊆Y

C) X∉Y

D) Y∉X

E) Y∈X

Soru 6

Orta Zorluk

“Bazı bisikletler 2 tekerlekli değildir” önermesinin değili aşağıdakilerden hangisidir?

A) Bütün bisikletler 2 tekerleklidir.

B) Bazı bisikletler 2 tekerlekli değildir.

C) Hiçbir bisiklet 2 tekerlekli değildir.

D) Bazı bisikletler 2 tekerleklidir.

E) En az bir bisiklet 2 tekerleklidir.

Soru 7

Orta Zorluk

Önerme eklemlerinin eş anlamlıları yerine standart önerme eklemleri yazılarak, ve noktalamaya uygun olarak, parantezler yerleştirilerek, önermenin standart biçiminin elde edilmesi sembolleştirmenin hangi adımını oluşturmaktadır?

A) 1

B) 2

C) 3

D) 4

E) 5

Soru 8

Orta Zorluk

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

A) Kök noktasına önermeyi yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.

B) Kök noktasına önermenin değilini yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.

C) Önermenin değilinde ad sembolleri yerine birer eleman olarak yazarak oluşturulan ifadeyi kök noktasına yazarak oluşturulan çizelgede en az bir açık dal olmalıdır.

D) Önermenin değilinde ad sembolleri yerine birer eleman olarak yazarak oluşturulan ifadeyi kök noktasına yazarak oluşturulan çizelgede tüm dallar kapanmalıdır.

E) Önermenin değilinde ad sembolleri yerine birer eleman olarak yazarak oluşturulan ifadeyi kök noktasına yazarak oluşturulan çizelgede tüm dallar açık olmalıdır.

Soru 9

Orta Zorluk

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

A) (F(a) ˅ GA) ˄ (F(b) ˅ GA)

B) (F(a) ˅ GA) ˅ (F(b) ˅ GA)

C) (F(a) ˄ GA) ˄ (F(b) ˄ GA)

D) (F(a) ˅ GA) ˄ (F(a) ˅ GA)

E) (F(a) ˄ GA) ˄ (F(b) ˅ GA)

Soru 10

Orta Zorluk

Gx ˄ y (Ɐz Fz ˅ Hy) açık formülünün kapalı formülü aşağıdakilerden hangisidir?

A) Gx ˄y (ⱯB FB ˅ Hy)

B) Gx ˄B (Ɐz Fz ˅ HB)

C) GB ˄y (Ɐz Fz ˅ Hy)

D) Ɐx (GA ˄y (Ɐz Fz ˅ Hy)

E) x (Gx ˄y (Ɐz Fz ˅ Hy)

Soru 11

Orta Zorluk

Niceleme mantığının sembolik dilinde x,y,z,… ile gösterilen sembollere ne ad verilir?

A) Önerme eklemleri

B) Ad sembolleri

C) Birey değişkenleri

D) Yüklem sembolleri

E) Tümel-niceleyici

Soru 12

Orta Zorluk

Bir çıkarımın öncüllerinin sonuç önermesinin değili ile birlikte tutarlı olduğunu ortaya koyan bir modele ne denir?

A) Karşı model

B) Tutarlı model

C) Geçerli model

D) Olumsal model

E) Geçersiz model

Soru 13

Orta Zorluk

Evrenin yüklem sembolünü eşleştirdiğimiz altkümesi, evrende bu yüklemin belirttiği özelliğe sahip olan nesnelerin kümesidir. Bu küme, yüklemin nesi olarak adlandırılır?

A) Evreni

B) Taşıyıcısı

C) Kaplamı

D) Niceleyicisi

E) Doğrusal açılımı

Soru 14

Orta Zorluk

Çözümleyici çizelge yöntemiyle nicelemeli bir sembolik önermenin verilen modelde doğru olduğunu söyleyebilmek için aşağıdakilerden hangisinin olması gereklidir?

A) Çizelgedeki tüm dalların yanlış olması

B) Çizelgedeki en az bir dalın kapanması

C) Çizelgedeki tüm dalların doğru olması

D) Çizelgedeki en az bir dalın doğru olarak ortaya çıkması

E) Çizelgedeki birden fazla dalın kapanması

Soru 15

Orta Zorluk

Yukarıdaki önermelerden hangileri ön-nicelemeli normal biçimdedir?

A) Sadece I

B) Sadece II

C) I ve II

D) I ve III

E) I, II ve III

Soru 16

Orta Zorluk

A B C D D D D D D Y Y Y Y D Y D Y Y Y D Yukarıdaki B, C, D önermelerinin ortak doğruluk tablosuna göre aşağıdakilerden hangisi söylenebilir?

A) B |= D

B) B ≡ D

C) B |= C

D) D |= C

E) B ≡ C

Soru 17

Orta Zorluk

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

A) Küme

B) Nicelenmiş Önermeler

C) Bileşik Önerme

D) Açık Formül

E) Atomik Formül

Soru 18

Orta Zorluk

F:a bir hayvandır. G:a bir insandır. H:a bir etoburdur. K:a bir otoburdur. "Bütün hayvanlar ya etoburdur ya da otoburdur. Bütün insanlar hem etobur hem de otoburdur. Fakat hiçbir insan hayvan değildir." ifadesinin yukarıdaki çeviriye göre anahtarı aşağıdakilerden hangisidir?

A) Ɐx((Fx⇿(Hx˅Kx))˄(Gx→(Hx˄Kx))˅(Gx˄~Fx))

B) x((Fx→(Hx˅Kx))˅(Gx→(Hx˄Kx))˅(Gx˄~Fx))

C) Ɐx((Fx→(Hx˅Kx))˅(Gx→(Hx˄Kx))˅(Gx˄~Fx))

D) Ɐx((Fx→(Hx˅Kx))˄(Gx→(Hx˄Kx))˄(Gx˄~Fx))

E) x((Fx→(Hx˅Kx))˄(Gx→(Hx˄Kx))˄(Gx˄~Fx))

Derse Dön