Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.


Modern Mantıkta Tikel Evetleme Önermesinin Çözümleme Kuralı Nedir?

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.


Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.


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


Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.


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.
[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]

English Preparatory Department
School of Foreign Languages
Assistant English Teacher
Ankara Baskent University
2017-18

“Benim, senden öncem ve senden sonram yok, yalnızca sen varsın...”
C.A - 31.12.2010 - ∞

English Language and Literature
Faculty of Humanities and Letters
Ankara Bilkent University
2010-15