Examkin

Soru

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

Bir bilimsel araştırma metodolojisi tartışmasında şu görüş dile getirilmiştir:

'Bir bilimsel kuramın öngörülerde bulunabilmesi (pp), onun sınanabilir olmasının (qq) gerek ve yeter koşuludur; ve bu kuram olgularla desteklenmiyorsa (∼r\sim r) geçerli kabul edilemez (∼s\sim s).'

Buna göre, verilen ifadenin önermeler mantığındaki doğru sembolik gösterimi ve bu gösterimin ana eklemi aşağıdakilerin hangisinde birlikte verilmiştir?

  1. (p↔q)∧(∼r→∼s)(p \leftrightarrow q) \wedge (\sim r \rightarrow \sim s) / Tümel evetleme eklemi (∧\wedge)Cevap
  2. B
    (p→q)∧(∼r→∼s)(p \rightarrow q) \wedge (\sim r \rightarrow \sim s) / Tümel evetleme eklemi (∧\wedge)
  3. C
    (p↔q)→(∼r→∼s)(p \leftrightarrow q) \rightarrow (\sim r \rightarrow \sim s) / Koşul eklemi (→\rightarrow)
  4. D
    (p↔q)∧(r→∼s)(p \leftrightarrow q) \wedge (r \rightarrow \sim s) / Tümel evetleme eklemi (∧\wedge)
  5. E
    (p↔q)∨(∼r→∼s)(p \leftrightarrow q) \vee (\sim r \rightarrow \sim s) / Tikel evetleme eklemi (∨\vee)

Cevap

Doğruluk değeri karşılıklı koşul, tümel evetleme ve koşul eklemleriyle belirlenen (p↔q)∧(∼r→∼s)(p \leftrightarrow q) \wedge (\sim r \rightarrow \sim s) gösterimi ve bu gösterimin ana eklemi olan tümel evetleme eklemidir (∧\wedge).
Doğru gösterim, 'gerek ve yeter koşul' ifadesi için karşılıklı koşul eklemini (↔\leftrightarrow), iki bileşeni bağlayan 've' için tümel evetleme eklemini (∧\wedge), ikinci kısımdaki şartlı yapı için koşul eklemini (→\rightarrow) ve olumsuz yargılar için değilleme eklemini (∼\sim) içerir. Bu yapıda iki ana bileşeni birbirine bağlayan en dıştaki eklem tümel evetleme eklemi (∧\wedge) olduğundan ana eklemdir.

Adım Adım Çözüm

1
Önermenin ilk kısmını sembolleştirmek için 'gerek ve yeter koşul' ifadesini analiz etme.
İlk bileşen p↔qp \leftrightarrow q olarak belirlenir.
'Gerek ve yeter koşul' ifadesi mantıksal olarak ancak ve ancak eklemine (↔\leftrightarrow) karşılık gelir.
2
��nermenin ikinci kısmındaki koşul ve değilleme yapılarını sembolleştirme.
İkinci bileşen ∼r→∼s\sim r \rightarrow \sim s olarak belirlenir.
'-se/-sa' eki koşul eklemini (→\rightarrow), olumsuzluk bildiren ekler ise değilleme eklemini (∼\sim) gerektirir.
3
Ana eklemi belirleyerek önermenin tamamını sembolleştirme.
Önerme (p↔q)∧(∼r→∼s)(p \leftrightarrow q) \wedge (\sim r \rightarrow \sim s) şeklinde sembolleştirilir ve ana eklem tümel evetleme (∧\wedge) olur.
İki ana bileşeni birbirine bağlayan bağlaç 've' olup tümel evetleme eklemine (∧\wedge) karşılık gelir.

Anahtar Kavram

Önermeler Mantığında Sembolleştirme ve Temel Kavramlar
Tahmini Süre:2m 0s
Bu soruyu puanla

Konular

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

Bu konudan daha fazla soru