KONU
ÖZETİ
MANTIK
TUTARLILIK - GEÇERLİLİK - EŞDEĞERLİK DENETLEMESİ
BİR ÖNERMENİN TUTARLILIĞININ DENETLEMESİ
Bileşik bir önermenin tutarlılığı denetlenirken;
Doğruluk çizelgesi oluşturulur.
Önermenin bileşenleri belirlenir.
Bileşenlerin ayrı ayrı doğruluk değeri bulunur.
"J Bileşik önermenin doğruluk değeri bulunur.
• Denetlenen bileşik önermenin doğruluk tablosundaki yorumunda en az bir satırda doğru (D) değeri bulunuyorsa bu
önermeye tutarlı önerme denir.
• Hiçbir satırda doğru (D) değeri bulunmuyorsa, tüm satırlarda yanlış (Y) değeri alıyorsa bu önermeye tutarsız öner-
me denir.
• Denetlenen önerme tüm yorumlarında doğru (D) değeri alıyorsa bu önermeye totoloji denir.
Örnekler:
(-p—q) (—pA—q) önermesinin tutarlılığının doğruluk çizelgesi ile denetlenmesi:
Önerme hiçbir satırında doğru (D) değeri almadığı için tutarsızdır.
(-p—q) A -q önermesinin tutarlılığının doğruluk çizelgesi ile denetlenmesi:
- P—şq
Önerme 2. satırında doğru (D) değeri aldığı için tutarlıdır.
MANTIK - AYT
MEBİ KONU ÖZETLERİ
