⭑MERHABA⭑
• İse bağlacının değili değil de ise bağlacını sadeleştirerek veya bağlacına çevirme olayı var onu şu şekilde yapabiliriz.
• İse bağlacı (⇒) 'nı veya (v) bağlacına çevirebiliriz.
☞ Mesela p ⇒ q önermesi olsun aradaki ise'yi veya'ya çevirelim.
⭑ İse'yi veya'ya çevirirken hipotezin (varsayımın) değilini alırız, araya veya bağlacını (v) koyarız, hüküm (yargı) aynı kalır değişmez.
⭑ Hipotez (varsayım) p'dir yani bağlacın solundaki elemana hipotez (varsayım) denir. Hüküm (yargı) ise bağlacın sağında kalan elemandır yani q'dur.
☞ Hadi p ⇒ q'yu p v q'ya çevirelim...
☞ p ⇒ q ≡ p' v q
Yukarıda da yazdığımız gibi ama hipotez hüküm zor geliyor ise bunu şöyle de aklında tutabilirsin: birincinin değilini al, araya veya koy, diğerine dokunma.
☞ Bunun matematiksel gösterimi p ⇒ q ≡ p' v q olarak yazılabilir.
Anlamadığın bir yer olursa sorabilirsin. İyi çalışmalar. ☻
