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

Soru 1:

Bir önerme sütunundaki tüm değerler yanlış ise bu önerme ile aşağıdakilerden hangisi doğrudur?

A) Tutarlıdır. B) Olumsaldır. C) Totolojidir. D) Çelişkidir. E) Önermenin değili olumsaldır.

Soru 2:

Bir önermenin mantıksal biçimini ortaya çıkarmak için öncelikle yapılması gereken aşağıdakilerden hangisidir?

A) Önermenin eş anlamlısını bulmak B) Önermeyi standart biçimde ifade etmek C) Önerme eklemlerinin sembollerini koymak D) Önerme değişkenlerinin yerlerinin değiştirilmesi E) Basit önermeler kullanmak

Soru 3:

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

A) ̴ q˅r B) q˅r C) q˄r D) q˄ ̴ r E) ̴ (qΛr)

Soru 4:

Aşağıdaki ifadelerden hangisi bir tümel evetleme önermesi değildir?

A) Ancak dünye kendi etrafında dönerse güneşin etrafında da döner. B) Dünya hem kendi etrafında hem de güneşin etrafında döner. C) Dünya kendi ekseni etrafında dönmesine rağmen, güneşin etrafında da döner. D) Dünya kendi ekseni etrafında döner ama kendi ekseni etrafında da döner. E) Kendi ekseni etrafında dönen dünya güneşin etrafında da döner.

Soru 5:

Bir önermenin değilinin, tamamlanmış çözümleyici çizelgesinde hiçbir açık dalı olmadığının gösterilmesi o önermenin ne tip bir önerme olduğunu gösterir?

A) En az bir yorumu yanlış olan bir önerme B) Mantıksal yanlışlık C) Olumsal önerme D) Çelişki E) Totoloji

Soru 6:

Çözümleyici çizelgesi ile bir önermenin doğruluk değerlendirilmesi denetlenirken, tamamlanan bir dalda tüm değerler D ise o dala aşağıdakilerden hangisi denir?

A) Yanlış B) Doğru C) Kapalı D) Çelişkili E) Tamamlanmış

Soru 7:

I. Dal açma kurallarının her zaman önceliği vardır. II. Alt alta yazma kurallarının her zaman önceliği vardır. III. Önermenin yanlışlayıcı yorumlamasını bulurken dal açma kurallrının önceliği vardır. Yukarıda verilenlere göre hangisi veya hangileri çözümleyici çizelge yöntemine göre doğrudur?

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

Soru 8:

p, q ve r önermelerinin değilleri sırasıyla ~p, ~q, ~r ile gösterildiğine göre, aşağıdakilerden hangisi p ˄ q → ~p ˅ r önermesine denktir?

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

Soru 9:

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

A) “(Ali mantık dersinden geçer ise (Ali mantıkdersine az çalışmıştır ve Ali tüm alıştırmaları çözmüştür))” B) “(Ali mantık dersinden geçer ise (Ali mantıkdersine çok çalışmıştır ve Ali bazı alıştırmaları çözmüştür))” C) “(Ali mantık dersinden geçer ise (Ali mantıkdersine düzenli olarak çalışmıştır ve Ali tüm alıştırmaları çözmüştür))” D) “(Ali mantık dersinden geçemez ise (Ali mantıkdersine düzenli olarak çalışmıştır ve Ali tüm alıştırmaları çözmüştür))” E) “(Ali mantık dersinden geçer ise (Ali mantıkdersine yeterli çalışmıştır ve Ali bazı alıştırmaları çözmemiştir))”

Soru 10:

“Kimi doğru önermeler gerçek durum başka olsa bile yanlış olamayacak önermedir.” ifadesi aşağıdakilerden hangisidir?

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

Soru 11:

koşul önermesine ait çözümleyici çizelge kuralı nasıldır?

A) B) C) D)

Soru 12:

Yukarıdaki A, B, C, D önermelerinin ortak doğruluk tablosuna göre aşağıdakilerden hangisi geçerli bir çıkarımdır?

A) B, DA B) B, DC C) A, BC D) B, CA E) A, DB

Soru 13:

Aşağıdakilerden hangisi yeni dallara yol açmadan, sadece mevcut dala yeni bir ya da iki önerme eklememizi gerektiren kuraldır?

A) Doğruluk tablosu B) Alt alta yazma C) Çözümleyici çizelgesi D) Koşul eklemi E) Tikel –evetleme

Soru 14:

Aşağıdakilerden hangisi sembolleştirmenin 3. adımında yer almaktadır?

A) Önerme eklemlerinin eş anlamlıları yerine standart önerme eklemlerinin yazılması B) Önermenin standart biçiminin elde edilmesi C) Önerme eklemlerinin yerine önerme eklemi sembollerinin konması D) Basit önermeler yerine, sembolleştirme anahtarında verilen önerme değişkenlerinin konması E) Okumada kolaylık sağlamak amacıyla, kimi parantezlerin işlem önceliği kurallarına göre kaldırılabilmesi

Soru 15:

“Anlamlı olan ve kesin bir yargı bildiren tümce” aşağıdakilerden hangisidir?

A) Çıkarım B) Önerme C) Tümdengelimli Akıl Yürütme D) Tümevarımlı Akıl Yürütme E) Heptengitmeli Akıl Yürütme

Soru 16:

Bir önermenin mantık statüsünü belirlemede çözümleyici çizelgenin doğruluk tablosundan daha kullanışlı olmasının sebebi aşağıdakilerden hangisidir?

A) Doğruluk tablosunun çelişkilere yol açması B) Doğruluk tablosunun her zaman doğru sonucu vermemesi C) Doğruluk tablosu yönteminde gösterilemeyen ama çizelge yönteminde gösterilebilen bazı önermelerin bulunması D) Doğruluk tablosundaki satır sayısının önerme değişkenlerinin sayısı ile orantılı olarak çok hızlı artması E) Doğruluk tablosu yönteminin çizelge yöntemine göre anlaşılması çok daha zor bir yöntem olması

Soru 17:

Bir önermenin doğru olmasına rağmen gerçekliğin başka türlü olması sebebiyle bu önermenin doğruluk değerinin değişmesi durumunda bu önermeye ne ad verilir?

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

Soru 18:

Düzgün akıl yürütme kuralları bilimine ne denir?

A) Mantık B) Felsefe C) Nöroloji D) Sosyoloji E) Psikoloji

Soru 19:

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

A) Söylemek istediğimizi daha kısa ifade etmemizi sağlar. B) Mantıksal denetlemeleri daha ağır yapmamızı sağlar. C) Mantıksal denetlemeleri daha hızlı yapmamızı sağlar. D) Söylemek istediğimizi kesin olarak ifade etmemizi sağlar. E) Mantıksal denetlemeleri hatasız yapmamızı sağlar.