Soru

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

Sanat felsefesinde estetik değer üzerine yapılan bir tartışmada şu iddia ileri sürülmüştür:

'Bir nesnenin güzel bulunması (pp), ancak ve ancak onun bir fayda sağlamaması (q\sim q) ve izleyicide estetik haz uyandırması (rr) durumunda mümkündür.'

Buna göre, verilen bu ifadenin önermeler mantığındaki doğru sembolik karşılığı aşağıdakilerden hangisidir?

  1. A
    (pq)r(p \leftrightarrow \sim q) \wedge r
  2. B
    p(qr)p \rightarrow (\sim q \wedge r)
  3. C
    p(qr)p \leftrightarrow (\sim q \vee r)
  4. p(qr)p \leftrightarrow (\sim q \wedge r)Cevap
  5. E
    p(qr)p \leftrightarrow (q \wedge r)

Cevap

Bir nesnenin güzel bulunması önermesinin, fayda sağlamaması ve haz uyandırması önermelerinin tümel evetlemesine karşılıklı koşul eklemiyle bağlanmasıyla elde edilen p(qr)p \leftrightarrow (\sim q \wedge r) ifadesidir.
Verilen cümlede 'bir nesnenin güzel bulunması' ifadesi pp önermesiyle, 'fayda sağlamaması' ifadesi olumsuz bir durum bildirdiği için q\sim q önermesiyle, 'izleyicide estetik haz uyandırması' ise rr önermesiyle temsil edilir. İki ana kısım arasındaki 'ancak ve ancak ... durumunda mümkündür' ifadesi karşılıklı koşul eklemini (\leftrightarrow) gerektirir ve bu eklem cümlenin ana eklemidir. 'fayda sağlamaması ve izleyicide estetik haz uyandırması' kısmı ise tümel evetleme eklemiyle (\wedge) birleştirilerek parantez içine alınmalıdır. Dolayısıyla doğru sembolleştirme p(qr)p \leftrightarrow (\sim q \wedge r) biçimindedir.

Adım Adım Çözüm

1
Önermelerin ve olumsuzlukların belirlenmesi
'Bir nesnenin güzel bulunması' önermesi pp, 'fayda sağlamaması' olumsuz önermesi q\sim q ve 'izleyicide estetik haz uyandırması' önermesi rr olarak belirlenir.
Günlük dildeki ifadenin bileşenlerini doğru sembollerle eşleştirmek için.
2
Ana eklemin ve yan eklemlerin saptanması
'ancak ve ancak ... durumunda mümkündür' ifadesi ana eklemin karşılıklı koşul (\leftrightarrow) olduğunu gösterir. Diğer bileşenler 've' bağlacı (\wedge) ile birleştirilir.
Önermenin mantıksal yapısını ve işlem sırasını (parantezlemeyi) doğru kurmak için.
3
Sembolik ifadenin birleştirilmesi
Ana eklem olan karşılıklı koşul ortada kalacak şekilde, ikinci kısım parantez içine alınarak p(qr)p \leftrightarrow (\sim q \wedge r) ifadesi elde edilir.
Parçaları doğru mantıksal kurallarla tek bir sembolik formülde toplamak için.

Anahtar Kavram

Önermeler mantığında bileşik önermeleri sembolleştirme ve ana eklemi belirleme
Bu soruyu puanla