Soru

Zorluk: ZorÖnermeler Mantığında Sembolleştirme ve Temel Kavramlar

Bir siyaset felsefesi metninde geçen şu iddiayı ele alalım:

"Egemenin mutlak güce sahip olması (pp), toplumsal düzenin sağlanmasının (qq) hem gerekli hem de yeterli koşuludur. Ancak bireylerin doğa durumuna dönmemesi (rr: bireylerin doğa durumuna dönmesi) için egemenin yasalarla özgürlükleri sınırlandırması (ss) gerekir."

Buna göre, bu felsefi iddianın önermeler mantığındaki doğru sembolleştirilmiş biçimi ve ana eklemi aşağıdakilerden hangisidir?

  1. (pq)(rs)(p \leftrightarrow q) \wedge (\sim r \rightarrow s) ve Ana eklem: Tümel evetleme (\wedge)Cevap
  2. B
    (pq)(rs)(p \rightarrow q) \wedge (\sim r \rightarrow s) ve Ana eklem: Tümel evetleme (\wedge)
  3. C
    (pq)(rs)(p \leftrightarrow q) \rightarrow (\sim r \rightarrow s) ve Ana eklem: Koşul (\rightarrow)
  4. D
    (pq)(sr)(p \leftrightarrow q) \wedge (s \rightarrow \sim r) ve Ana eklem: Tümel evetleme (\wedge)
  5. E
    (pq)(rs)(p \rightarrow q) \rightarrow (\sim r \rightarrow s) ve Ana eklem: Koşul (\rightarrow)

Cevap

Doğru sembolleştirme (pq)(rs)(p \leftrightarrow q) \wedge (\sim r \rightarrow s) şeklindedir ve bu önermenin ana eklemi tümel evetlemedir (\wedge).
Doğru sembolleştirmeyi içeren seçenek, metindeki mantıksal ilişkileri tam olarak karşılar. Metindeki 'hem gerekli hem de yeterli koşul' ifadesi karşılıklı koşul eklemini (\leftrightarrow), 'dönmemesi için sınırlandırma gerekir' koşulu ise (rs \sim r \rightarrow s ) yapısını gösterir. Bu iki yapıyı birbirine bağlayan 'ancak' kelimesi tümel evetleme eklemi (\wedge) olup, tüm önermeyi denetleyen ana eklem konumundadır.

Adım Adım Çözüm

1
İlk yargının sembolleştirilmesi
Egemenin mutlak güce sahip olması (pp) ile toplumsal düzenin sağlanması (qq) arasındaki 'hem gerekli hem de yeterli koşul' ilişkisi karşılıklı koşul eklemiyle gösterilir: (pq)(p \leftrightarrow q)
'hem gerekli hem de yeterli koşul' ifadesi mantıkta iki yönlü koşulu ( \leftrightarrow ) ifade eder.
2
İkinci yargının sembolleştirilmesi
Bireylerin doğa durumuna dönmemesi (r\sim r) için egemenin yasalarla özgürlükleri sınırlandırması (ss) gerekir ifadesi koşul eklemiyle gösterilir: rs\sim r \rightarrow s
'AA için BB gerekir' yapısı BB'nin gerekli koşul olduğunu gösterir, bu da ABA \rightarrow B şeklinde sembolleştirilir.
3
Ana eklemin belirlenmesi
İki ana bileşen arasındaki 'Ancak' ifadesi tümel evetleme (ve) bağlacını temsil eder ve iki parantezi birleştirir: (pq)(rs)(p \leftrightarrow q) \wedge (\sim r \rightarrow s). Önermenin tamamını denetleyen en dıştaki eklem tümel evetlemedir (\wedge).
İki bağımsız yargıyı bir araya getiren ana eklem tümel evetlemedir (\wedge).

Anahtar Kavram

Önermeler mantığında karmaşık bileşik önermelerin sembolleştirilmesi, gerekli ve yeterli koşul kavramlarının mantıksal eklem karşılıkları ve ana eklemin belirlenmesi.
Tahmini Süre:2m 30s
Bu soruyu puanla