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

Modern Mantıkta Eş Değerliğin İkinci Yolu Nedir? Ne Değildir?

Denkliği denetlemenin ikinci yolu, verilen iki önermeyi “Karşılıklı Koşul” (⇔) eklemiyle birbirine bağlamaktır. Elde edilen önermenin geçerliliği denetlenir. Eğer geçerliyse bu önermeyi oluşturan iki önerme birbirine denktir. Şimdi, yukarıdaki örnekleri ikinci yolla denetlemesini yapalım.


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


Örnekteki karşılıklı koşul önermesi geçerli olduğuna, yani bütün değerleri doğru olduğuna göre bu iki önerme birbirine denktir.


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


Örnekteki karşılıklı koşul önermesi geçersiz olduğuna, yani bütün değerleri doğru olmadığına göre bu iki önerme birbirine denk değildir.

NOT: Bir karşılıklı koşul önermesi geçerli ise bu önermeyi oluşturan iki önerme birbirine denktir.
[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]