SEMBOLİK MANTIK - Deneme Sınavı - 1

Gündelik dildeki bir önermenin, önermeler mantığı bakımından denetlenmesi iki adımda gerçekleşir, bunlardan ilki nedir?

Tüm basit önermeleri farklı birer önerme değişkeni ile sembolleştirmek şartı ile, elde edeceğimiz tüm sembolik çıkarımlar.......verecektir. Cümlede boş kalan yere gelmesi gereken sözcük dizisi hangisidir?

Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını gösteren bir listeye “.....anahtarı” adı verilir. Cümledeki boşluğu doğru kelime ile tamamlayınız.

Bir sembolik çıkarımın geçersiz olduğunu göstermenin yollarından biri aşağıdakilerden hangisidir?

I. Totoloji

II. Çelişme önermesi

III. Olumsal önerme 

Bir önermenin semantik statüsünün önermeler mantığı bakımından belirlenmesi yukarıdakilerden hangisi / hangilerini ortaya koyar?

I.  Önerme eklemlerinin eşanlamlıları yerine standart önerme eklemleri yazılarak önermenin standart biçimi elde edilir. 

II.  Basit önermeler yerine, sembolleştirme anahtarında verilen önerme değişkenleri konur.

III.  Önerme eklemlerinin yerine önerme eklemi sembolleri konur.

IV. İstenirse, okumada kolaylık sağlamak amacıyla, kimi parantezler işlem önceliği kurallarına göre kaldırılabilir.

Yukarıdakim cümlelerden hangileri yer değiştirirse sembolleştirmenin adımları doğru bir şekilde verilmiş olur?

"Eğer Ahmet gelirinin yeterli olmasını istiyorsa, ya harcamalarını azaltması ya da, harcamalarını azaltamıyorsa, gelirini arttırmaya çalışması gereklidir. Ahmet’e büyük ikramiye çıkarsa, ne harcamalarını azaltması ne de gelirini arttırmaya çalışması gereklidir. O halde, Ahmet’e büyük ikramiye çıkmamasına rağmen Ahmet gelirinin yeterli olmasını istiyorsa, Ahmet’in ya harcamalarını azaltması ya da gelirini arttırmaya çalışması gereklidir."

Aşağıdakilerden hangisi yukarıdaki cümlenin öncüllerinden biridir?

Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını gösteren listeye ne ad verilir?

Gündelik dile çevirme ile ilgili aşağıdakilerden hangisi söylenemez?

“Ahmet ve Mehmet’in arkadaş olabilmelerinin gerekli koşulu, Ahmet Mehmet’in yardımını istediğinde Mehmet’in Ahmet’e yardım etmesidir. O halde, Ahmet Mehmet’in yardımını isterse, ya Mehmet Ahmet’e yardım eder ya da Ahmet ve Mehmet arkadaş olamazlar” çıkarımında:

p: Ahmet ve Mehmet arkadaş olabilir.
q: Ahmet Mehmet’in yardımını ister.
r: Mehmet Ahmet’e yardım eder

Bu durumun sembolleştirme anahtarına uygun olarak sembolik karşılığı nasıldır?

“Ahmet ve Mehmet’in arkadaş olabilmelerinin gerekli koşulu, Ahmet Mehmet’in yardımını istediğinde Mehmet’in Ahmet’e yardım etmesidir. O halde, Ahmet Mehmet’in yardımını isterse, ya Mehmet Ahmet’e yardım eder ya da Ahmet ve Mehmet arkadaş olamazlar” çıkarımının sonucu nedir?

p: Saat 20:00 dır.
q: Mevsim kıştır.
r: Hava kararmıştır

Yukarıdaki önermelerin öncülü nedir?

Aşağıdakilerden hangisi “Ayşe Ali’yi tanır. Ali Mehmet’i tanır ise Ali Mehmet’le konuşur. O halde, Ayşe Mehmet’i tanır” çıkarımında geçen basit önermeler arasında değildir?

Aşağıdakilerden hangisi bir sembolik çıkarımın geçersiz olduğunu göstermenin yollarından biridir?

p → q, ~p → q ∴ q çıkarımının geçerliliği çözümleyici çizelge yöntemi ile denetlendiğinde 3. öncül aşağıdakilerden hangisi olmalıdır?