SEMBOLİK MANTIK
DOĞRULUK TABLOSU İLE DENETLEME
TUTARLILIK DENETLEMESİ
R. bir thermenin lütarhlğl
» Bir önerrnmin d@rüukyorumunda en az bir doğrulayıcı (D) yorurmı bulunması o önermeyi tutarlı kılar. Bir önerrne•
nin tablosunda almış olduğu değerimin tümü yanlış (Y) ise örüme tutarsız, en az biri d@ru (D) tutarlı,
tüm mumlamaları doğru (D) ise önerrw ttlolojiktir,
Rşa5Klakİ Örnekleri inceleyiniz.
Tutarsız
8. birden Fazla bıermenin lütarlıhğ•
En az bir doğrulayıcı
İçin
tutarlıdır.
» Biden 'azla ömrnenin birbiriyle tutarlı drnadlğını denetlemek Ş, ömrmelerin ayrı yarı
bibiriyla karşılaştırıljr,
Eğer önerrneler en az bir kere bir satırda d@ru değeri alıyorsa birlikte tutarlı, değişe birlikte tutarsızdır,
Birlikte
Birlikte
ÖNERMELERİN GEÇERLİLİĞİNİN DENETLEMESİ
X)) sonuç tx'lürn(hde yanlışlayıcg (Y) hiçbir yorumu yoksa yani örwrnenin sonuç bölümümde bütün yo-
rumlannda değeri alımsa önerme qoçorlidjr. Sonuç böürnünde on az bir 'Y' deWi bulunan önerme geçersizdir.
Y)) Vetilen bir önermenin geçerli olabilmesi için yorumlama tablosunda tümü doğrulardan oluşan bir sütunun bulunma-
Sl gerekir,
Tutam
m geçem
ve geçemiz
Tutarsız ve
geçersiz
Örnekl
(p q) önermesi gOÇOrIi midir?
p
Bu Önerme geçerlidir,
MANTIK
