Soru

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

Rasyonalist ve empirist bilgi anlayışlarının tartışıldığı bir derste öğretmen şu ifadeyi tahtaya yazar:

'Doğru bilgiye ulaşmak mümkündür ancak bu bilgi deneyimden elde edilmez.'

Bu ifadedeki 'Doğru bilgiye ulaşmak mümkündür.' önermesi pp, 'Bu bilgi deneyimden elde edilir.' önermesi qq harfiyle sembolleştirildiğinde, tahtadaki ifadenin önermeler mantığındaki doğru sembolik karşılığı aşağıdakilerden hangidir?

  1. pqp \wedge \sim qCevap
  2. B
    pqp \leftrightarrow \sim q
  3. C
    pqp \rightarrow \sim q
  4. D
    pqp \wedge q
  5. E
    (pq)\sim(p \wedge q)

Cevap

pqp \wedge \sim q
Doğru bilgiye ulaşmak mümkündür önermesi p, bu bilgi deneyimden elde edilir önermesi q ile sembolleştirilmiştir. 'ancak' bağlacı tümel evetleme (\wedge) anlamına gelirken, ikinci kısım olumsuz olduğundan değillenmiş (\sim q) olarak eklenmelidir. Bu durumda ortaya çıkan sembolik ifade p \wedge \sim q şeklindedir.

Adım Adım Çözüm

1
İlk olarak basit önermeleri belirleyin.
'Doğru bilgiye ulaşmak mümkündür' önermesi pp olarak, 'Bu bilgi deneyimden elde edilir' önermesi qq olarak alınır.
Sembolleştirmeye başlamadan önce önerme bileşenlerini tanımlamak gerekir.
2
İkinci önermedeki olumsuzluk ekini değerlendirin.
'deneyimden elde edilmez' ifadesi olumsuz olduğundan q\sim q olarak sembolleştirilir.
Olumsuz yargılar değilleme eklemiyle gösterilmelidir.
3
Önermeleri birbirine bağlayan mantık eklemini tespit edin.
'ancak' bağlacı tümel evetleme (ve) işlevindedir ve \wedge sembolüyle temsil edilir.
Bileşik önermenin ana eklemini doğru belirlemek için bağlaç analiz edilmelidir.
4
Elde edilen tüm sembolleri birleştirerek nihai formu oluşturun.
Önerme pqp \wedge \sim q haline gelir.
Bileşenler ve eklem bir araya getirilerek sembolleştirme tamamlanır.

Anahtar Kavram

Önermeler mantığında tümel evetleme ve değilleme eklemleri kullanılarak sembolleştirme yapılması.
Tahmini Süre:45s
Bu soruyu puanla