SEMBOLİK MANTIK
ÖNERMELERİN EŞDEĞERLİLİĞİNİN (DENKLİK) DENETLEMESİ
Bir doğruluk tablosunda aynı paylaşan (doğruluk thğerleri aynı olan) önermeler eş ve daima bir
önermenin l— ç"le aynı önermenin eş değeridir.
» Eş değerlilik "z" şeklinde gösterilir. "Eş değer değildir." ifadesi ise " şeklimde gösterilir,
Tek önermenin eş değerli19i söz konusu olamaz. Ancak birden fazla önermenin eş değerliği veya eş değersizliği
söz konusu olabilir,
OŞ değer
eş değer
eş değer
eş DEĞİL
A ÇIKARIMLARIN GEÇERLİLİĞİ
Bir çıkarımın geçerli dab'nwsi için öncüllerin ve scmucun tMlikte an az bir satırda 'D • değeri alması gerekir, Öncülb.
ri doğru Olduğu hâlde sonuç yanlış olursa çıkarım geçersiz Olur, Bir çıkarım, sembdik "arak "p, q Ü' şeklinch
teri",
l. Yol
Çıkarımın geçerliliği denetlenirken öncül önermeler tümel evetleme eklemi ile bitbirine bağlanır. Elde edilen tümel evetlemeli yeni
önerme koşul eklemi ile sonuç önermesine bağlanarak koşul önermesi alde edilir, Koşul önermesinin denetleme 4emi sonucunda
m yorumlamaları dt9ru olursa çıkanm gwçml'dir. En az bir yorumlaması yanlış olursa çıkarım 90çOrSizdir.
Yani:
Örnek:
l. öncül II. öncül
(p q), İp v q) a'. Q çıkarımının goçolliliğini donotloyolim.
Öncelikle (p q), (p v q) i'. q çıkanmı q) (p v q biçirninde koşul önermesine dönüştürülür, Daha sonra doğru-
lük geçerlilik denetlemesi yapılır,
Yukarıdaki doğruluk çizelgesinde yorum sütununun tüm satırları değerini almıştır. Bu nedenle çıkarım geçerlidir.
