Page 86 - Konu Özetleri AYT Mantık

ÇÖZÜMLEYİCİ ÇİZELGE İLE TUTARLILIK, GEÇERLİLİK VE EŞDEĞERLİK DENETLEMESİ

ÖNERMELERİN EŞDEĞERLİĞİNİN ÇÖZÜMLEYİCİ ÇİZELGE İLE DENETLENMESİ
İki önermenin eşdeğerliğini denetlemek için;
• Önce iki önerme karşılıklı koşul eklemi (⇔) ile birleştirilerek tek bir önerme yapılır.
• Oluşturulan önermenin tamamının değili alınır.
• Çözümleyici çizelge kurallarına göre çözümleme yapılır.
• Eğer yollar kapalıysa iki önerme birbirine eşdeğerdir.

• Eşdeğerlik, (denklik) işareti olan “≡” ile gösterilir.

Örnekler:
(p⇒∼q) ve (~p∨~q) önermelerinin eşdeğerliğinin çözümleyici çizelge ile denetlenmesi

Tüm yollar kapalı olduğu için önermeler
birbirine eşdeğerdir.

ÇIKARIMLARIN GEÇERLİLİĞİNİN ÇÖZÜMLEYİCİ ÇİZELGE İLE DENETLENMESİ
• Çıkarımın geçerliliği denetlenirken, öncüllerin kendisi ve sonucun değillemesi alt alta yazılır.
• Öncüllerin ardına (Ön), sonucun değillemesinin ardına (~Sn) işaretleri konur.
• Çözümleme sonunda açık yol varsa çıkarım geçersizdir.
• Hiçbir açık yol yoksa yani bütün yollar kapalı ise çıkarım geçerlidir.

Örnekler:
(p∧q), (p⇒~q) ∴ ~p çıkarımının geçerliliğinin çözümleyici çizelge ile denetlenmesi

Bütün yollar kapalı olduğu için
çıkarım geçerlidir.

86 MEBİ KONU ÖZETLERİ MANTIK - AYT