[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]

Modern Mantıkta Önermelerin Eş Değerlik Denetlenmesi Nedir? Ne Değildir?

İki önermenin birbirine “Denk” (Eş Değer) olması, tablonun aynı satırlarında aynı doğruluk değerlerini almış olmalarını gerektirir. Yani iki önerme, doğruluk tablosunda çözümlenip de aynı satırlarda aynı “Yanlış” ya da “Doğru” değerlerinden herhangi birini almışlarsa birbirlerine eş değerdir.
Aşağıda denkliğe ilişkin örnekler verilmiştir:


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


Tabloda görüleceği gibi ilk örnekteki p ve q önermeleri, tablonun bütün satırlarında aynı değerleri almıştır. Mesela ilk örnekte p ve q aynı satırlarda doğru-doğru ve doğru-doğru değerleri aldığından denktir. İkinci tabloda p ve q doğru-doğru ve yanlış-yanlış değerleri aldığından denktir. Üçüncü tabloda ise p ile q yanlış-yanlış ve yanlış-yanlış değerlerini aldığından denktir. Yani denklik bulunurken önermelerin “Doğru” ya da “Yanlış” değer almaları değil, aynı satırda, aynı değerleri almaları önemlidir. Bu değer “Doğru” da olabilir, “Yanlış” da olabilir.

Tablonun diğer tarafında ise denk olmayan önermeler verilmiştir. Bakınız p ile q ilk örnekte doğru-doğru ve yanlış-doğru değerlerini almıştır. İlk satırda aynı değerleri alan p ile q ikinci satırda farklı değerler aldığından bu önermeler birbirine denk değildir. Diğer örnekte ise p ile q doğru-yanlış ve doğru-yanlış değerlerini aldığından, iki değer birbirini tutmadığından, denk değildir.
[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]