ÇÖZÜMLEYİCİ ÇİZELGE İLE TUTARLILIK, GEÇERÜ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 İç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 "E" ile gösterilir.
Ornekler:
ve (-pv-q) önermelerinin eşdeğerliğinin çözümleyici çizelge ile denetlenmesi
pv-q)]
—q
2. -(-pv-q)
-p
x
4. -(ps-q)
(—pv-q)
5.
p
-q
—p
x
x
Tüm yollar kapalı olduğu için önermeler
birbirine eşdeğerdir.
x
Ç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.
Oncüllerin ardına (On), 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.
Ornekler:
(pAq), —p çıkarımının geçerliliğinin çözümleyici çizelge ile denetlenmesi
1. (pnq) (Ön)
2. (p—-q) (Ön)
p
(1)
q
(2)
Bütün yollar kapalı olduğu için
çıkarım geçerlidir.
x
MEBİ KONU ÖZETLERİ
86
x
MANTIK - AYT
