Aof Panel

Soru 1

1. ~(p → (q ∧ r))

2. p

3. ?

Yukarıdaki çözümleyici çizelgede soru işaretli yere aşağıdakilerden hangisi getirilmelidir?

Soru 2

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?

Soru 3

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

Soru 4

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?

Soru 5

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?

Soru 6

Doğru ve tamamlanmış bir çözümleyici çizelgede bir dalın açık kalması aşağıdakilerden hangisini ifade eder?

Soru 7

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?

Soru 8

Çözümleyici çizelge yöntemiyle bir önermenin doğruluk değerini denetlediğimizi ve bu çizelgede tek bir açık dal kaldığını kabul edelim. Açık kalan dalda ~p, q ve r ifadeleri bulunduğu durumda aşağıdakilerden hangisi bu önermenin doğrulayıcı bir yorumu olur?

Soru 9

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?

Soru 10

I. Bir çıkarımın denetlenmesi, çıkarımın
geçerli mi geçersiz mi olduğunun ortaya konması demektir.

II. Hem sembolleştirme hem de gündelik dile çeviri işlemleri kesin kurallarla ortaya konabilir.

III. Sembolleştirme sonucunda hangi sembolik önermenin elde edileceği, sembolleştirme anahtarına bağlı olarak
değişir.

Yukarıdaki ifadelerden hangisi/hangileri doğrudur?

Soru 11

Bir çıkarımın önermeler mantığında sembolleştirilmesi, çıkarımı oluşturan önermelerin önermeler mantığında sembolleştirilmesinden ve öncüllerle sonuç önermesi arasına hangi işaretin konulmasından ibarettir?

Soru 12

“Ali’nin mantık dersinden geçmesinin yeterli bir koşulu, Ali’nin mantık dersine düzenli olarak çalışmış ve tüm alıştırmaları çözmüş olmasıdır” önermesinin standart biçimi aşağıdakilerden hangisidir?

Soru 13

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

Soru 14

Sembolleştirmenin kaçıncı aşamasında önerme eklemlerinin yerine önerme eklemi sembolleri konmaktadır?

Soru 15

Aşağıdakilerden hangisi sembolleştirmenin 4. aşamasında yer almaktadır?

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

Soru 17

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

Soru 18

Önerme eklemi sembolleri yerine önerme eklemlerinin konması gündelik dile çevirme işleminin hangi adımını oluşturmaktadır?

Soru 19

I. Önermeler mantığının bir sembolik önermesinin gündelik dilde bir önerme olarak karşılığı, bu önermenin gündelik dile bir çevirisidir.

II. Sembolik önermeleri gündelik dile çevirirken de, sembolik önermelerdeki önerme değişkenlerinin hangi gündelik dil önermesi ile karşılanacağını belirtmemiz gerekir.

III. Bir sembolik önermede geçen her bir önerme değişkeninin hangi gündelik dil önermesiyle karşılanacağını gösteren bir listeye “çeviri anahtarı” adı verilir.

Yukarıda gündelik dile çevirme ile ilgili verilen ifadelerden hangisi/hangileri doğrudur?

Soru 20

Düzgün akıl yürütmelere başvurmaya çalışmamızın önemli olmasının nedeni bu akıl yürütmelerin hangi özelliğidir?

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