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


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

Tümel evetleme önermesi, “ve” eklemi ile kurulan önermelerdir. Yani p Λ q gibi bir tümel evetleme önermesi çözümlenirken doğruluk tablosunda kullanılan kurallardan yararlanılır. Bu önermenin doğru olabilmesi için p ve q önermelerinin doğru olması gerektiğini daha önce görmüştük. Çözümleyici çizelgede her iki önermenin de doğru olduğunu belirtmek için alt alta yazılarak çözümlemesi yapılır. Yanına çözümleme sırasını belirtmek için numara verilir. Aynı numara, geldiği önermenin önüne kaynak numarası olarak yazılır. Buradaki çengel işareti ( ] ) “ve” eklemini sembolize eder. Burada anlatılanları daha açık anlayabilmek için aşağıdaki örnekleri takip edebilirsiniz.


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


Aşağıda bir önermenin tümel evetleme önermesinin çözümleme kuralı ile nasıl çözümlendiği örneklendirilmiştir. Lütfen örneği dikkatle inceleyiniz.


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


Yukarıdaki örnekte göreceğiniz gibi (p Λ q) önermesi ile (q Λ p) önermesi birbirine tümel evetleme eklemi olan “ve” (Λ) ile bağlanmıştır. Demek ki bu önerme çözümlenirken tümel evetleme önermesinin çözümleme kuralı uygulanmalıdır. Bunun için (p Λ q) önermesi ile (q Λ p) önce alt alta yazılmış ve çengel işareti ( ] ) ile birbirine bağlanmış, bu çengel, 1 numaralı işlem yapıldığı için 1 ile numaralandırılmıştır. Ardından da ana eklemin bağladığı ana bileşenlerimiz olan (p Λ q) önermesi ile (q Λ p) önermesinin her ikisi de tümel evetleme eklemi ile bağlandığından, bunlara da aynı işlemler sırasıyla 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