Yazeka
Arama sonuçlarına göre oluşturuldu
Önermelerde denklik (eş değerlilik) iki şekilde bulunur:
- Doğruluk Tablosu ile Denetleme: İki önermenin doğruluk değerleri aynı ise denktir 13. Bunun için önermeler ayrı ayrı doğruluk tablosuna yerleştirilir ve sonuçlar karşılaştırılır 13.
- Karşılıklı Koşul (⇔) Eklemi ile Bağlama: İki önerme, karşılıklı koşul eklemiyle (⇔) birbirine bağlanır ve elde edilen önermenin geçerliliği denetlenir 13. Eğer önerme geçerliyse, oluşturan iki önerme denktir 13.
5 kaynaktan alınan bilgiyle göre: