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

Soru 1:

Aşağıdakilerden hangisi temel doğrusal önerme eklemlerinden “tikel evetleme eklemi” olarak adlandırılır?

A) Değil B) İse C) Veya D) Ve E) Ancak ve ancak

Soru 2:

~∃x (Fx →Fa) 2. ∀x ~ (Fx →Fa) (1) 3. ~ (Fx →Fa) (2) 4. Fa (3) 5.? (3) ∃x (Fx →FA) önermesinin niceleme mantığında geçerli bir önerme oluşturması için soru işaretli noktaya aşağıdaki formüllerden hangisi gelmelidir?

A) Fa B) ~ Fa C) ~∃x FA D) ∃x FA E) ∃x Fx

Soru 3:

modellemesinde aşağıdakilerden hangisi doğrudur?

A) FA B) FB C) GC D) GA E) GB

Soru 4:

?z (Gy ? x (Gz - Hx) formülünde hangi değişkenlerin en az bir serbest geçişi vardır?

A) x ve y B) x ve z C) sadece x D) sadece y E) sadece z

Soru 5:

Önermeler mantığında gördüğümüz önerme eklemleri ile elde edilen bir bileşik önermenin doğruluk değeri, nasıl belirlenir?

A) Önerme ekleminin doğruluk tablosuna ve bileşenlerin doğruluk değerine göre B) Önerme ekleminin doğruluk tablosuna göre C) Bileşenlerin doğruluk değerine göre D) Nicelemeli önermelerinin doğruluk değerlerine göre E) Model kavramına göre

Soru 6:

önermesinin doğruluk değerinin D olması için gerekli model aşağıdakilerden hangisidir?

A) B) C) D)

Soru 7:

Tüm doğruluk değerlemelerinde doğru olan bir önerme aşağıdakilerden hangisi söylenebilir?

A) Çelişki önermesi B) Olumsal önerme C) Geçerli çıkarım D) Totoloji E) Değilleme önerme

Soru 8:

Çizelge tamamlandığında tüm dallar kapanıyorsa, bu önermelerin tümünü doğru yapan bir model yoktur. O halde bu önermeler için aşağıdakilerden hangisi söylenebilir?

A) Önermeler birlikte tutarlıdır. B) Önermeler birlikte olumsaldır. C) Önermeler birlikte çelişkilidir. D) Önermelerin bir kısmı tutarlı bir kısmı çelişkilidir. E) Herhangi bir yorum yapılamaz.

Soru 9:

Çözümleyici çizelge yönteminde öncelik kuralları ile ilgili aşağıdaki ifadelerden hangisi doğrudur?

A) Çözümleyici çizelge yöntemi ile önermeler için model oluştururken tümel-özelleme kuralının tikel- özellemeye önceliği vardır. B) Çözümleyici çizelge yöntemi ile önermelerin geçerliliğini denetlerken tümel-özelleme kuralının tikel-özellemeye önceliği vardır. C) Çözümleyici çizelge yöntemi ile önermelerin geçerliliğini denetlerken tikel-evetleme kuralının tikel-özellemeye önceliği vardır. D) Çözümleyici çizelge yöntemi ile önermelerin geçerliliğini denetlerken tümel-özelleme kuralının tümel-evetlemeye önceliği vardır. E) Çözümleyici çizelge yöntemi ile önermelerin geçerliliğini denetlerken tikel-özelleme kuralının tümel-özellemeye önceliği vardır.

Soru 10:

Hangisi çözümleyici çizelge yöntemi ile, nicelemeli bir sembolik önermenin bir modeldeki doğruluk değerini hesaplarken, başvurulması zorunlu olmayan ama çizelgeyi olabildiğince basit tutmak ve böylece hata yapmaktan kaçınmak için izlenebilecek öncelik kuralları arasında yer almaz?

A) Niceleyici-değilleme kuralları tüm kurallardan sonra uygulanmalıdır. B) Tümel-nicelemenin açılımı kuralı tikel-nicelemenin açılımı kuralından önce uygulanmalıdır. C) Önerme eklemleri elenirken, alt alta yazma gerektiren kurallar çatal açma kurallarından önce uygulanmalıdır. D) Bir niceleyici kuralı ile önerme eklemi kuralı arasında seçim yapmamız gerektiğinde de, alt alta yazma gerektiren kural çatal açma kurallarından önce uygulanmalıdır. E) Dalda bir tümel-niceleme ve bir tikel-evetlemeönermesi varsa, önce tümel-nicelemenin açılımı kuralı uygulanmalıdır.

Soru 11:

Aşağıdakilerden hangisi basit formülün diğer isimlerinden biridir?

A) Önerme B) Kapalı Formül C) Niceleyici D) Atomik formül E) Açık formül

Soru 12:

Aşağıdaki seçeneklerden hangsi bir gündelik dil önermesini sembolleştirirken yapılacak ilk adımdır?

A) Niceleme ifadeleri ve önerme eklemleri yerine niceleyiciler ve önerme eklemi sembolleri yerleştirilir. B) “x bir insandır”, “Ahmet bir öğrencidir” gibi, X bir değişken veya ad, Y bir yüklem ifadesi olmak üzere, (XY) biçimindeki gündelik dil formülleri yerine, “{a bir insandır}x” ve “{a bir öğrencidir}Ahmet” ifadeleri gibi, {Y}X ifadesi konur. C) Parantezli yüklem ifadeleri yerine sembolleştirme anahtarında verilen yüklem sembolleri konur. D) İfadede geçen adlar yerine ad sembolleri konur. E) Gündelik dil önermesinde geçen tikel ve tümel-niceleme ifadelerinin ve önerme eklemlerinin eş anlamlıları, standart niceleme ifadeleriyle ve önerme eklemleri ile değiştirilerek, noktalama işaretlerine uygun olarak parantezler yerleştirilir.

Soru 13:

Bütün insanlar ölümlüdür. Bazı ağaçlar meyve vermez. “Beş” üç harflidir. Beş üç harflidir. Bugün hava nasıl? Yukarıdaki ifadelerden hangisi/hangileri bir önermedir?

A) Yalnız I B) Yalnız II C) I-II D) I-II-III E) Hepsi

Soru 14:

Çözümleyici çizelge yöntemi ile nicelemeli bir sembolik önerme için bir model bulurken ilk aşama aşağıdakilerden hangisidir?

A) Önermede her S ad sembolü yerine s elemanı yazılır. B) 1 numaralı kök noktasına elde edilen ifadeyazılır. C) Tümel özelleme ve tikel özelleme kurallarını, tümel ve tikel nicelemelerin değillenmesi kurallarını ve önerme eklemlerine ait kuralları uygulayarak ilerlenir. D) Bir dalda ilerlenirken bir ifade ve onun değili ortaya çıkarsa o dal kapalıdır ve bu durum o dalın sonuna x konularak belirtilir. E) İşlem uygulanacak bir ifade kalmadığı halde kapanmayan bir dal açık bir daldır. Bu durum o dalın sonuna √ işareti konularak gösterilir.

Soru 15:

modellemesinde aşağıdakilerden hangisi yanlıştır?

A) FC B) FB C) GC D) GA E) GB

Soru 16:

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

A) Kök noktasından başlayarak, çıkarımı oluşturan önermeleri yazarak oluşturulan çizelgede en az bir açık dal olmalıdır. B) 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. 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, çıkarımı oluşturan önermelerin değilleri yazarak oluşturulan çizelgede en az bir açık dal olmalıdır. E) 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.

Soru 17:

Aşağıdakilerden hangisi “Her F G dir” önermesinin doğru yorumlamasıdır?

A) Her şey için, eğer o şey bir F ise, o şey bir G dir B) Her şey için, eğer o şey bir F ise, o şey bir G değildir C) Bazı şeyler, hem F dir hem de G dir D) Bazı şeyler, F dir ve G değildir E) F ile G ler aynıdır

Soru 18:

Bir çıkarım niceleme mantığında ne zaman geçersizdir?

A) Bir çıkarımın tüm öncüllerini doğru, sonuç önermesini yanlış yapan bir karşı modeli varsa, bu çıkarım niceleme mantığında geçersizdir. B) Bir çıkarımın bazı öncüllerini doğru, sonuç önermesini yanlış yapan bir karşı modeli varsa, bu çıkarım niceleme mantığında geçersizdir. C) Bir çıkarımın tüm öncüllerini yanlış, sonuç önermesini doğru yapan bir karşı modeli varsa, bu çıkarım niceleme mantığında geçersizdir. D) Bir çıkarımın tüm öncüllerini yanlış, sonuç önermesini yanlış yapan bir karşı modeli varsa, bu çıkarım niceleme mantığında geçersizdir. E) Bir çıkarımın bazı öncüllerini yanlış, sonuç önermesini doğru yapan bir karşı modeli varsa, bu çıkarım niceleme mantığında geçersizdir.

Soru 19:

A) Bazı şeyler bitkidir veya bazı şeyler insandır. O halde, bazı insanlar bitkidir. B) Bazı şeyler bitkidir ve bazı şeyler insandır. O halde, her insan bitkidir. C) Bazı şeyler bitkidir ve bazı şeyler insandır. O halde, bazı insanlar bitkidir. D) Bazı şeyler bitkidir veya bazı şeyler insandır. O halde, tüm insanlar bitkidir. E) Tüm şeyler bitkidir veya tüm şeyler insandır. O halde, tüm insanlar bitkidir.

Soru 20:

∀ y(Gx ˅ƎzHz) formülünde Ǝz tümel-nicelemesinin etki alanı aşağıdakilerden hangisidir?

A) ∀y B) Hz C) Gx˅ƎzHz D) Gx E) ∀y(Gx˅ƎzHz)