Page 79 - Konu Özetleri AYT Mantık

MANTIK

KONU ÇÖZÜMLEYİCİ ÇİZELGE KURALLARI
ÖZETİ
AYT AYT AYT AYT AYT AYT AYT AYT AYT AYT AYT AYT

ÇÖZÜMLEYİCİ ÇİZELGE (AĞAÇ YÖNTEMİ)
• Önermenin 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 Eş Değeri
~~p p

~(pЛq) (~pV~q)

~(pVq) (~pЛ~q)

(p¡q) (~pVq)

~(p¡q) (pЛ~q)
(p⇔q) (pЛq) V (~pЛ~q)

~(p⇔q) (pЛ~q) V (~pЛq)

• 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.

p

q
• Ayrık yazma ise çatal açma olarak adlandırılır.

p q

MANTIK - AYT MEBİ KONU ÖZETLERİ 79