Tikel Evetleme Önermesinin Çözümleme Kuralı

p V q gibi bir tikel evetleme önermesinin doğru olabilmesi p ya da q önermelerinden en az birinin doğru olması ile mümkündür. Dolayısıyla, tikel evetleme önermesinin doğru değer alması için ya p’nin ya da q’nun doğru olması gerekir. Bu durumu göstermek için çatal açma kuralı uygulanır. Çatal açma kuralında birinci bileşen çatalın sol tarafına, ikinci bileşen çatalın sağ tarafına yazılır. Çözümlemeye başlarken çözümlenecek önermenin başına adım numarası yazılır. Aynı numara çatalın ortasına kaynak numarası olarak yazılır. Bu açıklamaları uygulamalı olarak aşağıdaki örneklerde görebilirsiniz.

Aşağıdaki örneği de inceleyiniz.

Yukarıdaki örnekte göreceğini gibi p önermesi ile (p V q) önermesini birbirine bağlayan eklem, “veya” (V) eklemidir ve bu da önermenin tikel evetlemenin çözümleme kuralına göre çözümleneceğini göstermektedir. Çözümleme için çatal açma kuralı uygulanmıştır ve çatalın ortasına ilk işlem olarak 1 numarası verilmiştir. Çatalın soluna, önermenin ana ekleminin solundaki p önermesi, sağına ise ana eklemin sağında bulunan (p V q) önermesi yazılmış, aynı işlem diğer basamaklarda da uygulanmıştır.

 

Ömer YILDIRIM hakkında
Sosyolog Ömer YILDIRIM 1985'te Erzurum'da doğdu. İlk, orta ve yüksek öğrenimini Erzurum'da tamamladı. Sırasıyla; Abdurrahim Şerif Beygu İlkokulu, Ahmet Yesevi İlköğretim Okulu, Erzurum Cumhuriyet Lisesi ve Atatürk Üniversitesinde okudu. 2009 yılında Atatürk Üniversitesi Edebiyat Fakültesi Sosyoloji Bölümü'nden mezun oldu... devamını oku »

İlk yorum yapan olun

Bir yanıt bırakın

E-posta hesabınız yayımlanmayacak.


*