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

Soru 1:

“Bir veya daha fazla sayıda önermeden hareketle bir başka önermeye ulaşmak” aşağıdaki kavramlardan hangisini tanımlamaktadır?

A) Tutarlılık B) Önerme C) Olumsal doğruluk D) Çıkarım E) Mantık

Soru 2:

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ı ise evde oturalım veya sinemaya gidelim” önermesine karşılık gelir?

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

Soru 3:

Öncül önermelerinin tümünün doğru olması durumunu en iyi açıklayan önermeye sonuç önermesi olarak ulaşılmaya çalışılan akıl yürütmeye ne ad verilir?

A) Tutarlı cümle B) Geçerli cümle C) Heptengitme D) Tümevarım E) Tümdengelim

Soru 4:

Aşağıdaki bilim adamlarından hangisi mantık biliminin kurucusu olarak görülmektedir?

A) Öklid B) Aristoteles C) Harezmi D) İbn-i Sina E) Charles Darwin

Soru 5:

Bir grup önermenin birlikte tutarlı olması ne demektir?

A) Bu önermelerden en az birinin doğru olması B) Bu önermelerden tümünün aynı anda doğru olabilmesidir C) Bu önermeleri en az birinin yanlış olmasıdır D) Bu önermelerden hepsinin yanlış olmasıdır E) Bu önermelerin tümünün anlamlı olmasıdır

Soru 6:

Tüm doğruluk değerlerinde yanlış olan bir önermeye ne denir?

A) Totoloji Önermesi B) Olumsal Önermesi C) Tutarlı Önermesi D) Çelişki Önermesi E) Yanlış Önermesi

Soru 7:

Bir ifadenin hangi varlıklara, hangi durumlara uygulanabileceğinin kesin olarak belirlenememesi aşağıdakilerden hangisi ile ifade edilir?

A) Sembolleştirme B) Çok-anlamlılık C) Anlam bulanıklığı D) Semantik E) Pragmatik

Soru 8:

(p›(q^r))^ ? r önermesi için aşağıdakilerden hangisi doğrulayıcı bir yorumdur?

A) r yanlış, p yanlış, q yanlış B) r yanlış, p doğru, q doğru C) r yanlış, p doğru, q yanlış D) r doğru, p yanlış, q yanlış E) r doğru, p yanlış, q doğru

Soru 9:

Aşağıdaki önermelerden hangisi bir totoloji değildir?

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

Soru 10:

p: Futbol oynamak yetenek işidir. q: Kızlarda futbol oynayabilir. r: Elif futbol oynamaya 7 yaşında başlamıştır. s: Elif yeteneklidir. t: Elif basketbol oynamak istemektedir. u: Basketbol oynamak isteyenler için bir çok kulüp vardır. Yukarıdaki çeviri anahtarına göre, (p ^ s) - (t ? u) sembolik önermesinin gündelik dile çevirisi aşağıdakilerden hangisidir?

A) Ancak futbol oynamak yetenek işi ve Elif yetenekli olmasına ragmen, Elif basketbol oynamak istemektedir veya basketbol oynamak isteyenler için bir çok kulüp vardır. B) Futbol oynamak yetenek işi ve Elif yetenekli olmasına ragmen, Elif basketbol oynamak istemektedir ve basketbol oynamak isteyenler için bir çok kulüp vardır. C) Ancak futbol oynamak yetenek işi veya Elif yetenekli olmasına ragmen, Elif basketbol oynamak istemektedir veya basketbol oynamak isteyenler için bir çok kulüp vardır. D) Ancak Elif yeteneklidir veya futbol oynamak yetenek işi olmasına ragmen, Elif basketbol oynamak istemektedir veya basketbol oynamak isteyenler için bir çok kulüp vardır. E) Futbol oynamak yetenek işi ve Elif yetenekli olmasına ragmen, Elif basketbol oynamak istemektedir ve basketbol oynamak isteyenler için bir çok kulüp vardır.

Soru 11:

p: Ali mantık dersine düzenli olarak çalışmıştır. q: Ali tüm alıştırmaları çözmüştür. r: Ali mantık dersinden geçer. Şeklinde sembolleştirme anahtarı verilmiş olsun. Buna göre “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” önermesini sembolik önermeler mantığının dilindeki karşılığı nedir?

A) r › p ^ q B) ~(p ^ ~q) C) (~p v q) v r › p ^ q D) r › p ^ q v ~(p ^ ~q) E) (~p › q)

Soru 12:

Aşağıdaki doğrusal önerme eklemlerinden hangisi “tikel evetleme eklemi”dir?

A) değil B) ve C) veya D) ise E) ancak ve ancak … ise

Soru 13:

Aşağıdakilerden hangisi bir önermedir?

A) Kare bir dörtgen midir? B) Karenin iç açılarının toplamını hesaplayınız. C) Eyvah, karenin iç açıların toplamını yanlış hesapladım! D) İki karenin biri kırmızıdır. E) Karenin iç açılarının toplamı 360 dercedir.

Soru 14:

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

Aşağıdaki sözcüklerden hangisinin anlamı bulanıktır?

A) Memur B) Öğrenci C) Kısa D) Araba E) Masa

Soru 16:

Önermelerin yapısını en temel sembolik mantık sistemi olan “önermeler mantığı” daha açık bir ifade ile aşağıdakilerden hangisi ile adlandırılır?

A) Doğruluk Fonksiyonu Mantığı B) Mantıksal Yanlışlık C) Mantıksal Geçerlilik D) Doğrusal Eklemler E) Karşılıklı Mantık

Soru 17:

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

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

Soru 18:

Aşağıdakilerden tümcelerden hangisinde “ve” sözcüğü önerme eklemi olarak yorumlanabilir?

A) 3 ve 5’in ortalaması 4’tür. B) Eskişehir ve Paris kardeş şehirdir. C) Murat ve Ali doktordur. D) Ali ve Pelin birbirine aşıktır. E) Veli ve Osman hep kavga ederler.

Soru 19:

Aşağıdakilerin hangisi “Suyun sıcaklığı 100 ℃ olduğunda su kaynamıştır” önermesi ile aynı yargıyı taşımaz?

A) Eğer suyun sıcaklığı 100 ℃ olduysa, su kaynar. B) Suyun sıcaklığının 100 ℃ olması suyun kaynaması için yeterli bir koşuldur. C) Suyun kaynaması, suyun sıcaklığının 100 ℃ olması için gerekli koşuldur. D) Suyun sıcaklığının 100 ℃ olması durumunda su kaynar. E) Suyun sıcaklığının 100 ℃ olması suyun kaynaması için gerekli ve yeterli koşuldur.

Soru 20:

p: Ayşe derslerine çok çalışmıştır. q: Ayşe sınavdan geçmiştir. r: Ayşe başarılı bir öğrencidir. s: Ayşe sınavlarında kopya çekmiştir. t: Ayşe sınavlarından 90 ve üzeri puan almıştır. “Ayşe sınavlarından 90 ve üzeri puan almışsa derslerine çok çalışmıştır veya kopya çekmiştir.” önermesinin yukarıdaki sembolleştirme anahtarına göre karşılığı aşağıdakilerden hangisidir?

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