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

Soru 1:

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:

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

Soru 3:

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:

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:

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:

“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:

Ö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:

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

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:

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:

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:

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:

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:

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

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:

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:

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:

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))