Deneme Sınavı Soruları

20 soru
Cevap anahtarı açık: çöz, sonucunu gör

0 doğru · 0 yanlış · 20 kaldı

1
Niceleme mantığının sembolik dilinde önerme eklemleri aşağıdaki sembollerden hangisini içerir?
2
Aşağıdaki önermelerden hangisinde “bir” ifadesi tümel-niceleyici anlamında kullanılmıştır?
3
Aşağıdakilerden hangisi çıkarımlar ve modeller için doğrudur?
4
F gündelik dilde bir yüklem olmak üzere "Bazı şeyler F'dir." önermesinin sembolik olarak gösterimi aşağıdakilerden hangisidir?
5
Aşağıdakilerden hangisi niceleme mantığının sembolik diline göre tümel-niceleyici semboldür?
6
Aşağıdakilerden hangisi bir çıkarımın geçersiz olduğunu gösteren bir karşı-model bulmak için izlenebilecek adımlardan biri değildir?
7
Nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için,önermenin değilinin model oluşturma kurallarına göre oluşturulan tamamlanmış çözümleyici çizelgesinin nasıl olması gerekir?
8
Bir nicelemeli önermenin bir kümedeki açılımını elde etmekteki temel fikir, nedir?
9
Aşağıdakilerden hangisi açık formüle bir örnektir?
10
Aşağıdakilerden hangisi "Bazı F ler G dir" önermesinin sembolleştirilmiş halidir?
11
Y bir yüklem sembolü, s modelin evreninin bir elemanı olmak üzere Y_sveya

~Y_sbiçimindeki bir ifade ortaya çıktığında aşağıdakilerden hangisi ya da hangileri doğru olur?
1. Dalda ortaya çıkan ifade Ys ise ve modelde s ∈ YM ise, Ys ifadesi doğrudur
  ve o dalda ilerlemeye devam ederiz.
2. Dalda ortaya çıkan ifade ~Ys ise ve modelde s ∉ YM ise, ~Ys ifadesi doğrudur ve yine o dalda ilerlemeye devam edebiliriz.
3. Dalda ortaya çıkan ifade Ys ifadesi ise ve modelde s ∉ YM ise, Ys ifadesi
  yanlıştır ve o dalda daha fazla ilerlemeden, dalın sonuna bir × (çarpı) işareti
  koyarız ve bu dalın “yanlış” bir dal olduğunu söyleriz.
12
Niceleme mantığında "bazı" kelimesiyle ifade edilen niteleyiciye ne ad verilir?
13
Varlığı mantıksal bir çelişkiye yol açmayan herhangi bir nesneler topluluğuna ne ad verilir?
14
“Ali’nin mantık dersinden geçmesinin gerekli bir koşulu, Ali’nin mantık dersine düzenli olarak çalışmış ve tüm alıştırmaları çözmüş olmasıdır” önermesininin standart biçimi aşağıdakilerden hangisidir?
15
Bir önermede ya da çıkarımda geçen önerme değişkenlerinin sayısı n ise, bu önermenin ya da çıkarımın doğruluk tablosundaki satır sayısı kaç olmalıdır?
16
Ö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?
17
Bir çıkarımı çözümleyici çizelge ile denetlerken öncüllerin kendilerini ve sonucun değilini alt alta yazıp çizelgeyi tamamladıktan sonra tüm dalların kapalı olduğu gösterilebiliyorsa, bu çıkarım için aşağıdaki ifadelerden hangisi kullanılabilir?
18
Doğru öncüllerden yola çıktığımızda bizi mutlaka doğru sonuçlara ulaştıracağından emin olacağımız çıkarım biçimlerini bulmak hangi akıl yürütme biçimidir?
19
q: Satranç öğrenmesi zor bir oyundur. t: Ebru satranç oynamayı öğrenmek istemektedir. u: Oğuz'dan satranç dersi almaktadır. s: Oğuz satranç öğretemez. Çeviri anahtarlarına göre (~q → ~t ∧ (u ∧ s)) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?
20
Hangisinde bir çıkarımın öncül önermelerinin sonuç önermesini kesin olarak ortaya koymaları şartı aranır?

Bir şıkka dokun; doğru cevap hemen görünür.

Yeni yılların sınavlarını da çözSembolik Mantık dersinin tüm sınavları, cevap anahtarları, süreli mod ve yanlış analizi uygulamada.Uygulamada aç