Örnek Soruyu Değiştir

KONU ÖZETİ MANTIK ÇÖZÜMLEYİCİ ÇİZELGE KURALLARI ÇÖZÜMLEYİCİ ÇİZELGE (AĞAÇ YÖNTEMİ) • Onermenin veya çıkarımın bileşen sayısı ve önerme eklemi sembolleri arttıkça doğruluk tablosuyla denetleme zorlaşır ve çözümlemede uzun ve karmaşık bir yol olarak karşımıza çıkar. • Mantıkta bu uygulamadaki zorluğu ortadan kaldırmak için çözümleyici çizelge adı verilen daha kısa ve güvenli bir denetleme yöntemi geliştirilmiştir. Bu denetleme yöntemine çözümleyici çizelge ile denetleme denir. • Çözümleyici çizelgede temel çözümleme kurallarının yanı sıra türetilmiş çözümleme kuralları da vardır. • Çözümleme kurallarının büyük bölümü, çözümlenen önermelerin kendilerine eşdeğer başka önermelere dönüştürül- mesi yoluyla elde edilmiştir. • Çözümleme kurallarının elde edilmesinde ortaya çıkan bu eşdeğerliklere De Morgan Kuralları denir. Önerme -(pAq) -(pVq) (p—q) (p—q) Eş Değeri p (-pv-q) (-pA-q) (-pVq) (pA-q) (pAq) V (—pA—q) (pA-q) V (—pAq) • Tümel evetleme, tikel evetleme, koşul ve karşılıklı koşul önermeleri ile birlikte bunların değillerinin kuralları olmak üzere toplam sekiz (8) çözümleyici çizelge kuralı vardır. • Çözümleyici çizelge kurallarında önermenin bileşenleri ya alt alta ya da ayrık yazılır. • Alt alta yazma çengele gitme olarak adlandırılır. q • Ayrık yazma ise çatal açma olarak adlandırılır. q MANTIK - AYT MEBİ KONU ÖZETLERİ