Soru

Zorluk: Çok zorÖnermeler Mantığında Sembolleştirme ve Temel Kavramlar

Evrendeki düzen ve amaç üzerine yapılan teolojik ve kozmolojik tartışmalarda geçen şu iddiayı ele alalım:

"Evrende düzen varsa, evrenin bir yaratıcısı vardır ve evren sonsuz değildir; ancak evrenin kendi kendine yetebilmesi, evrende düzenin olmasına veya evrenin bir yaratıcısının olmasına bağlıdır."

Bu iddiadaki basit önermeler şu şekilde belirlenmiştir:
pp: Evrende düzen vardır.
qq: Evrenin bir yaratıcısı vardır.
rr: Evren sonsuzdur.
ss: Evren kendi kendine yetebilir.

Buna göre, verilen ifadenin sembolleştirilmesi ve mantıksal yapısıyla ilgili olarak;

I. İfadenin doğru sembolleştirilmiş biçimi [p(qr)][s(pq)][p \rightarrow (q \wedge \sim r)] \wedge [s \rightarrow (p \vee q)] şeklindedir.
II. Önermenin ana eklemi tümel evetleme (\wedge) eklemidir.
III. İkinci ana bileşenin ana eklemi karşılıklı koşul (\leftrightarrow) eklemidir.

yargılarından hangileri doğrudur?

  1. A
    Yalnız I
  2. B
    Yalnız II
  3. I ve IICevap
  4. D
    I ve III
  5. E
    II ve III

Cevap

I ve II yargılarını içeren seçenek
Doğru yanıt I ve II yargılarını içeren seçenektir. Cümlenin ilk bölümü "ise" ve "ve" eklemleriyle doğru bir şekilde p(qr)p \rightarrow (q \wedge \sim r) olarak sembolleştirilmiştir. İki ana bileşeni birbirine bağlayan "; ancak" ifadesi tümel evetleme (\wedge) eklemini temsil eder ve tüm ifadenin ana eklemidir. İkinci bölümdeki "bağlıdır" ilişkisi ise tek yönlü bir koşul ilişkisi kurarak s(pq)s \rightarrow (p \vee q) şeklinde sembolleştirilir; dolayısıyla bu bileşenin ana eklemi karşılıklı koşul değil, koşul eklemidir. Bu durum I ve II numaralı yargıları doğru, III numaralı yargıyı ise yanlış kılar.

Adım Adım Çözüm

1
Cümlenin ilk kısmının sembolleştirilmesi
p(qr)p \rightarrow (q \wedge \sim r)
"Evrende düzen varsa" koşulun ön bileşenidir (pp \rightarrow). "Evrenin bir yaratıcısı vardır ve evren sonsuz değildir" ifadesi ise art bileşendir. "ve" eklemiyle bağlanan bu art bileşen, "sonsuz değildir" değillemesiyle birlikte (qr)(q \wedge \sim r) şeklinde kurulur.
2
Ana eklemin belirlenmesi
Ana eklem: \wedge (Tümel Evetleme)
Cümlenin iki büyük kısmını birbirine bağlayan "; ancak" ifadesi, mantıksal olarak iki yargının da aynı anda geçerli olduğunu bildiren "ve" (tümel evetleme) eklemine karşılık gelir. Bu nedenle önermenin ana eklemi tümel evetlemedir.
3
Cümlenin ikinci kısmının sembolleştirilmesi
s(pq)s \rightarrow (p \vee q)
"A'nın gerçekleşmesi B'ye bağlıdır" ifadesi mantıksal olarak "A ise B" (ABA \rightarrow B) biçiminde bir koşul önermesi kurar. Burada "evrenin kendi kendine yetebilmesi" (ss) ön bileşen, "evrende düzenin olması veya evrenin bir yaratıcısının olması" (pqp \vee q) ise art bileşendir.
4
Yargıların doğruluk değerlerinin denetlenmesi
I. ve II. yargılar doğru, III. yargı yanlıştır.
Sembolleştirme ve ana eklem tespiti doğru yapılmıştır. Ancak ikinci ana bileşenin ana eklemi karşılıklı koşul (\leftrightarrow) değil, koşul (\rightarrow) eklemidir.

Anahtar Kavram

Önermeler Mantığında Sembolleştirme ve Temel Eklemlerin Analizi
Bu soruyu puanla