Önerme denkliği, iki veya daha fazla önermenin aynı doğruluk değerine sahip olması durumudur. Yani, bir önerme doğru olduğunda diğeri de doğru, bir önerme yanlış olduğunda diğeri de yanlış ise, bu önermeler denktir.
Önerme denkliğini kanıtlamak için kullanabileceğimiz birkaç yöntem var. İşte en yaygın olanları:
En temel ve güvenilir yöntemlerden biridir. Tüm olası durumlar için önermelerin doğruluk değerlerini gösteren bir tablo oluşturulur. Eğer iki önerme her durumda aynı doğruluk değerini alıyorsa, bu önermeler denktir.
Önermeleri, bilinen mantıksal eşdeğerlikler (örneğin, De Morgan kuralları, çift olumsuzluk vb.) kullanarak birbirine dönüştürme yöntemidir. Eğer bir önerme diğerine dönüştürülebiliyorsa, bu önermeler denktir.
Mantıksal çıkarım kurallarını kullanarak bir önermeden diğerini elde etme yöntemidir. Eğer bir önermeden diğerine geçerli bir çıkarım yapılabiliyorsa, bu önermeler denktir.
Doğruluk tablosu oluştururken şu adımları izleyebiliriz:
Örnek: $(p \Rightarrow q) \equiv (\neg q \Rightarrow \neg p)$ önermesinin denkliğini doğruluk tablosu ile gösterelim:
Bu önermede iki değişken var: $p$ ve $q$. O zaman 4 satırlık bir tablomuz olacak.
| $p$ | $q$ | $p \Rightarrow q$ | $\neg q$ | $\neg p$ | $\neg q \Rightarrow \neg p$ |
|---|---|---|---|---|---|
| D | D | D | Y | Y | D |
| D | Y | Y | D | Y | Y |
| Y | D | D | Y | D | D |
| Y | Y | D | D | D | D |
Tablodan görüldüğü gibi, $p \Rightarrow q$ ve $\neg q \Rightarrow \neg p$ önermeleri her durumda aynı doğruluk değerini alıyor. Bu nedenle, bu iki önerme denktir.
Umarım bu bilgiler, önerme denkliğini kanıtlama konusunda size yardımcı olur. Başarılar!
