TUTARLILIK - GEÇERLİLİK - EŞDEĞERLİK DENETLEMESİ
Örnek:
(pV-q) ve (q—p) önermelerinin eş değerliğinin doğruluk çizelgesi ile denetlenmesi:
(pv-q)
D
D
Önermeler aynı satırlarda aynı doğruluk değerini aldığı için eşdeğerdir.
Eşdeğer olan bu önermeler (pV-q) (q—p) şeklinde gösterilir.
-(—pAq), (p—-q) önermelerinin eş değerliğinin doğruluk çizelgesi ile denetlenmesi:
(-pnq)
-(-pnq)
D
D
D
Y
Y
D
D
D
Önermeler 2. ve 4. satırda aynı doğruluk değerine sahip olmasına rağmen 1 . ve 3 satırda farklı doğruluk değerleri aldıkları
için eşdeğer değildir.
ÇIKARIMLARIN GEÇERLİLİĞİNİN DENETLENMESİ
• Bir çıkarım, sembolik olarak " p, q r" şeklinde gösterilir.
• Bir çıkarımın geçerliliği iki yolla denetlenebilir.
1. Yol: Oncüller ve sonuç koşul önermesi hâline getirilip geçerlilik denetlenebilir. Bunun için;
Öncüller arasındaki virgül (,) tümel evetleme eklemine (A) dönüştürülür.
Çıkarımın öncülleri "A" eklemiyle birbirine bağlanır.
Sonuç önermesi de öncüllere koşul (—) eklemiyle bağlanır.
Elde edilen koşul önermesinin geçerliliği doğruluk çizelgesi aracılığıyla denetlenir.
Eğer tüm satırlarda doğru değeri alıyorsa önerme geçerlidir. Dolayısıyla çıkarım da geçerlidir.
Örnekler:
(p—-q), q) (-p V-q) çıkarımının geçerliliğinin doğruluk çizelgesi ile denetlenmesi:
1. yola uygun olarak çıkarım [(p—-q) A (-p—q)] (-p V—q) şeklinde bir önermeye dönüştürülür ve denetlenir.
p
Y
q
D
Y
-P
Y
D
-q (p—-q) (-p—q) (p—-q) (-pV-q)
D
D
D
D
MEBİ KONU ÖZETLERİ
MANTIK - AYT
