IRCForumu.ORG   sohbetkacak
reklamalanı


 
 
Seçenekler Stil
Alt 27 Temmuz 2021, 17:15   #1
Kusursuz dost arayan dostsuz kalır.
CURRY SAUCE - ait Kullanıcı Resmi (Avatar)

Standart Çözümleyici Çizelge İle Önermenin Denkliğinin (Eş Değerliğinin) Denetleme

Çözümleyici çizelgede önermelerin denkliğini denetlemek için, önce verilen iki önerme birbirine karşılıklı koşul eklemi (⇔) ile bağlanır. Daha sonra önermenin değili alınır ve değillenmiş önerme çözümleme kurallarına göre çözümlenir.
Bu çözümleme sonucunda tüm yollar kapalıysa önermeler denktir. Çünkü, değillenmiş önermede tüm yollar kapalı ise önermenin kendisi geçerlidir. Yani, önermenin tüm değerleri doğru demektir.


Karşılıklı koşul önermesinde tüm değerlerin doğru çıkması demek, bu önermenin bileşenlerinin aynı değeri aldığını gösterir (Karşılıklı koşul önermesinin doğruluk tablosunda anlatılan kurallarını yeniden gözden geçirin).
ÖRNEKLER

Örnek 1




Örnek 2

~(p V q), (~p Λ ~q) önermelerinin denk olup olmadığını çözümleyici çizelge ile denetleyelim.
Önermeleri önce karşılıklı koşul eklemiyle birbirine bağlayalım: ~(p v q) <=> (~p Λ ~q).
Son olarak değilini alıp denetlemeye başlayalım:

Çözümleme sonucunda ulaşılan bütün yollar kapalı olduğundan bu iki önerme birbirine denktir.
Bu denklik durumu ise şu şekilde sembolize edilir:
~(p V q) ≡ (~p Λ ~q)
Hazırlayan: Sosyolog Ömer Yıldırım
 


Şu anda bu konuyu görüntüleyen etkin kullanıcılar: 1 (0 üye ve 1 ziyaretçi)
 
Seçenekler
Stil

Yetkileriniz
Konu Acma Yetkiniz Yok
Cevap Yazma Yetkiniz Yok
Eklenti Yükleme Yetkiniz Yok
Mesajınızı Değiştirme Yetkiniz Yok

BB kodu Açık
Smileler Açık
[IMG] Kodları Açık
HTML-Kodu Kapalı
Trackbacks are Açık
Pingbacks are Açık
Refbacks are Kapalı



Tüm Zamanlar GMT +3 Olarak Ayarlanmış. Şuanki Zaman: 21:04.