TUTARLILIK - GEÇERLİLİK - EŞDEĞERLİK DENETLEMESİ
(-p—q) (pVq) önermesinin tutarlılığının doğruluk çizelgesi ile denetlenmesi:
(pVq)
Önerme tüm yorumlarında doğru (D) değeri aldığı için totolojidir.
BİRDEN FAZLA ÖNERMENİN TUTARLILIĞININ DENETLENMESİ
Birden fazla önermenin bir arada tutarlılığını denetlemek için;
Önermeler yan yana yazılıp aralarına virgül konulur.
Sonra önermelerin doğruluk değerleri bulunur.
• Verilen önermeleri aynı anda doğru kılan ortak doğrulayıcı bir satır bulunuyorsa önermeler birbiriyle tutarlıdır.
• Bu tutarlılık, doğruluk çizelgesinde aynı doğruluk değerini gösteren yatay dizilişin altının çizilmesi ile gösterilir.
Ornekler:
-q, (-pV-q), (q —p) önermelerinin bir arada tutarlılığının doğruluk çizelgesi ile denetlenmesi:
-q (-pV-q)
(q—şp)
2. ve 4. satırda doğru (D) değer aldığı için önermeler bir arada tutarlıdır.
(qV-p), (p—q), (pA-q) önermelerinin bir arada tutarlılığının doğruluk çizelgesi ile denetlenmesi:
74
-q (qV-p)
Birlikte doğru değer aldığı tek bir satır bile olmadığı için önermeler bir arada tutarsızdır.
MEBİ KONU ÖZETLERİ
(pn-q)
MANTIK - AYT
