Page 84 - Konu Özetleri AYT Mantık

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

∼ (p⇒q) ∧ (∼p∧q) önermesinin tutarlılığının çözümleyici çizelge ile denetlenmesi

En az bir açık yol yani önermenin en az
bir doğru yorumu olmadığı için önerme
tutarsızdır.

BİRDEN FAZLA ÖNERMENİN BİR ARADA TUTARLILIĞININ ÇÖZÜMLEYİCİ ÇİZELGE İLE DENETLENMESİ
• Birden fazla önermenin birbiriyle tutarlı olması, önermeleri birlikte doğru kılan ortak doğrulayıcı yorumun bulunmasıyla
mümkündür.
• Çözümleyici çizelge ile birden fazla önermenin birbiriyle tutarlılığını denetlemek için verilen önermeler önce alt alta
yazılır. Her birinin ardına (Ö) harfi konur.
• Önermeler önce alt alta yazma, sonra çatal açma kuralı izlenerek tek tek çözümlenir.
• Çözümleme sonunda tek bir açık yol bile varsa önermelerin bir ortak doğrulayıcı yorumu var demektir. Dolayısıyla bu
önermeler birbiriyle tutarlıdır. Hiçbir açık yol yoksa önermeler birbiriyle tutarsızdır.

Örnekler:
~(p∨q), (p⇒∼q) önermelerinin birlikte tutarlılığının denetlenmesi

Yollar açık olduğu yani önermelerin en az
bir doğru yorumu olduğu için önermeler
birlikte tutarlıdır.

(∼p∧∼q), (p∨q) önermelerinin birlikte tutarlılığının denetlenmesi

Yollar kapalı olduğu yani önermelerin en
az bir doğru yorumu bulunmadığı için
önermeler birlikte tutarsızdır.

84 MEBİ KONU ÖZETLERİ MANTIK - AYT