Seçmeli Ara Sınav - Sembolik Mantık

Soru 1:

Aşağıdakilerden hangisi (p ˄ q) önermesine eşdeğerdir?

A) ~(p → ~q) B) (~p → q) C) ~(~p ˄ ~q) D) ~(p ˄ ~q) E) (~p ˅ q)

Soru 2:

Anlamlı ve kesin yargı bildiren bildirsel cümleye ne ad verilir?

A) Tutarlı cümle B) Geçerli cümle C) Önerme D) Çıkarım E) Tümdengelim

Soru 3:

Aşağıdakilerden hangisi oluşturdukları önermenin doğruluk değeri sadece bileşenlerinin doğruluk değerine göre belirlenebilen önermelerdir?

A) Basit Önermeler B) Bileşik Önermeler C) Doğrusal Eklemler D) Doğrusal Olmayan Önerme E) Modalite

Soru 4:

Bir veya birden fazla sayıda önermeden hareketle bir başka önermeye ulaşmaya ne ad verilir?

A) Tutarlı cümle B) Geçerli cümle C) Önerme D) Çıkarım E) Tümdengelim

Soru 5:

Çözümleyici çizelge yönteminin ana fikri aşağıdakilerden hangisidir?

A) Bir önermenin doğru olması için gereken koşulların bir grafiğini oluşturmaktır. B) Önerme değişkenlerinin yerlerini belirlemektir. C) Doğruluk tablosunun eksik yönlerini gidermektir. D) Geçersiz bir argümanın hangi koşullarda geçerli olabileceğini göstermektir. E) Totolojilerin neden totoloji olduğunun belirlenmesidir.

Soru 6:

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

Aşağıdakilerden hangisi olumsal olarak doğru bir önermedir?

A) 3+2=2+3 B) 2>5 C) Türkiye’nin en kalabalık ikinci kenti Ankara’dır. D) Türkiye’nin en çok göç alan bölgesi Doğu Anadolu Bölgesi’dir. E) Normal lşartlar altında su 100℃’de kaynar.

Soru 8:

Bir grup önermenin birlikte tutarlı olup olmadığını denetlerken bu önermeleri tepedeki ilk noktalara alt alta yazarak oluşturduğumuz çözümleyici çizelgede açık dal ararız. Açık kalan tamamlanmış bir dal bize bu önermeleri ................. verir. Yukarıdaki ifadede boş bırakılan yere aşağıdakilerden hangisi getirilmelidir?

A) çeliştiren bir yorumlama B) birlikte yanlışlayan bir yorumlama C) tek tek doğrulayan bir yorumlama D) birlikte doğrulayan bir yorumlama E) tek tek yanlışlayan bir yorumlama

Soru 9:

Aşağıda verilen çıkarımlardan hangisi geçerli değildir?

A) ̴ p→rr˅p B) q˄pq C) q˅pq D) ̴ q→(q˄r)r E) ( ̴ p˅q)→qq

Soru 10:

Bir önermenin doğruluğunun gerçeklikle değişmesine ne ad verilir?

A) Yanlış önerme B) Olumsal olarak doğru önerme C) Olumsal olarak yanlış önerme D) İkilem E) Safsata

Soru 11:

p: Ali zayıflamak için düzenli ekzersiz yapmıştır. q: Ali diyeti bire bir uygulamıştır. r: Ali kilo vermiştir. Yukarıdaki sembolleştirme anahtarına göre, aşağıdakilerden hangisi “Eğer Ali kilo vermemişse, Ali zayıflamak için düzenli ekzersiz yapmamıştır ve Ali diyeti bire bir uygulamamıştır” gündelik dil önermesinin sembolik önermeler mantığının dilindeki karşılığıdır?

A) ~r→ (~p ˄ ~q) B) r→ (p ˅ q) C) ~r→ (p ˄ q) D) r→ (p ˄~q) E) r↔ (p ˄q)

Soru 12:

Aşağıdakilerden hangisi mantığın temel kavramlarından biri değildir?

A) Önerme B) Çıkarım C) Tutarlılık D) Mantıksal doğruluk E) Akıl yürütme

Soru 13:

Aşağıdakilerden hangisi sembolleştirmenin yararlarından biri değildir?

A) Söylemek isteneni kesin olarak ifade eder. B) Söylemek isteneni daha kısa ifade etmeyi sağlar. C) Önermelerin mantıksal denetlemesinin sadece biçimsel kurallara göre yapılmasını sağladığından denetlemeleri hızlı ve hatasız gerçekleştirmeyi sağlar. D) İfadelerdeki anlam ve kullanım ile ilgili kusurlardan kaçınmayı sağlar. E) Önermelerin semantik özelliklerine göre de denetlenmesini sağlar.

Soru 14:

Aşağıdaki çözümleyici çizelgede soru işaretli yere hangi önerme gelmelidir?

A) p B) p › q C) ~ p D) ~ p › q E) p ^ q

Soru 15:

Bir dilin ifadelerinin yapısal özellikleri ve ifadelerin yapıları bakımından ilişkililerinin incelenmesi aşağıdaki alanlardan hangisine aittir?

A) Semantik B) Pragmatik C) Didaktik D) Dogmatik E) Sentaks

Soru 16:

Bir önerme ya da çıkarımda geçen önerme değişeni sayısı 4 ise, bu önerme ya da çıkarımın doğruluk tablosundaki satır sayısı kaç olmalıdır?

A) 4 B) 8 C) 16 D) 32 E) 64

Soru 17:

Eklemlerin öncelik sıralarına göre parantezler kaldırıldığında ((q∧~(p→r)↔((p∨q)∧r) önermesinden elde edilen önerme aşağıdakilerden hangisidir?

A) (q∧~p→r)↔(p∨q∧r) B) q∧~p→r↔((p∨q)∧r) C) q∧~(p→r)↔(p∨q)∧r D) q∧~(p→r)↔p∨q∧r E) (q∧~(p→r)↔(p∨q∧r)

Soru 18:

p: Yarın hava yağışlıdır. q: Pikniğe gidelim. r : Futbol oynayalım. s :Sinemaya gidelim. t : Evde oturalım. Yukarıdaki sembolleştirme anahtarına göre aşağıdakilerden hangisi “Yarın hava yağışlı olsa da olmasa da futbol oynayıp sinemaya gidelim” önermesine karşılık gelir?

A) p→(r ˄s) B) (p˅~p)→(r˅s) C) ~p→(r˄s) D) (p˅~p)→(r˄s) E) (p˅~p)˅(r˄s)

Soru 19:

Aşağıdakilerden hangisi geçerli çıkarımların “doğruluğu koruma özelliği” olarak adlandırılır?

A) Çıkarımın öncül önermelerinin tümünün doğru olduğu kabul edildiğinde sonuç önermesini de doğru olduğunun kabul edilmesi B) Çıkarımda tüm öncül önermeleri doğru ve sonuç önermesinin yanlış olduğunu kabul etmenin olanaklı olması C) Çıkarımda öncüllerin sonuç önermesini kesin olarak ortaya koyması değil, sonucun doğru olma olasılığını arttırmaları şartını sağlaması D) Çıkarımda öncül önermelerin doğruluğu sonuç önermesinin doğruluğunu ciddi olarak arttırması E) Çıkarımda öncül önermelerin doğruluğunun anlamlı bir şekilde arttırmaması

Soru 20:

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ı aşağıdakilerden hangisidir?

A) 2n B) 2n C) n+2 D) n-2 E) 2n+2