ÇÖZÜMLEYİCİ ÇİZELGE İLE TUTARLILIK, GEÇERÜLİK VE EŞDEĞERLİK DENETLEMESİ
ÖNERMENİN GEÇERLİLİĞİNİN ÇÖZÜMLEYİCİ ÇİZELGE İLE DENETLENMESİ
Onermenin 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:
Gpvq) v
(p—q) önermesinin geçerliliğinin çözümleyici çizelge ile denetlenmesi
(—pvq) v —(p—q) (Ö)
1. —[(—pvq) v —(p—q)]
2.
—(—pvq)
3. (p—q)
-q
x
Önermenin değillenmiş hâlinin çözüm-
lemesinde tüm yollar kapalı olduğu için
önerme geçerlidir.
(9)
x
(-pvq) v (PAq) önermesinin geçerliliğinin çözümleyici çizelge ile denetlenmesi
(—pvq) V (pAq) (Ö)
1. -[(-pvq) v (pnq)]
2. —(—pvq)
3. -(pnq)
-p
x
MANTIK - AYT
-q
Ö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.
MEBİ KONU ÖZETLERİ
85
