Page 85 - Konu Özetleri AYT Mantık
P. 85
ÇÖZÜMLEYİCİ ÇİZELGE İLE TUTARLILIK, GEÇERLİLİK VE EŞDEĞERLİK DENETLEMESİ
ÖNERMENİN GEÇERLİLİĞİNİN ÇÖZÜMLEYİCİ ÇİZELGE İLE DENETLENMESİ
• Önermenin geçerliliği denetlenirken önermenin değillenmiş hâli çözümlenir.
• Önermenin değillenmiş hâli çözümlendiğinde tüm yollar kapalıysa önerme geçerlidir.
• Önermenin değillenmiş hâli çözümlendiğinde açık yol varsa geçersizdir.
DİKKAT
Tüm yorumlamalarında doğru değerini alan, yani hiçbir yanlış yorumu olmayan önerme geçerlidir. Önermenin değilinin
tutarsız olması o önermenin geçerli olması demektir.
Örnekler:
(~p∨q) ∨ ∼ (p⇒q) önermesinin geçerliliğinin çözümleyici çizelge ile denetlenmesi
Önermenin değillenmiş hâlinin çözüm-
lemesinde tüm yollar kapalı olduğu için
önerme geçerlidir.
(~p∨q) ∨ (p∧q) önermesinin geçerliliğinin çözümleyici çizelge ile denetlenmesi
Önermenin değillenmiş hâlinin çözümleme-
sinde tüm yollar kapalı olmadığı, bir tane
açık yol olduğu için önerme geçersizdir.
MANTIK - AYT MEBİ KONU ÖZETLERİ 85
