SEMBOLİK MANTIK
2. thermelerin Geçerliliğinin Denetlenmesi (Çözümleyici Çizelgeyle)
Bir önermenin geçerliliği demetlenirken, (Çözümleyici Çizelgeyle) önermenin değili alınır ve değillenmiş hâli çözümlenir.
Önermenin değillenmiş hâli çözümlendiğinde tüm yollar kapalıysa önerme geçerli demektir. En az bir açık ya varsa
önerme geçersizdir.
Örnek (—p q) q önermesi midi"
Â)
Bütün kapalı Olduğu
Önerme tutarsız ama geçerlidir.
Örnek (p q) v (p
(İp q) v (p q)) l-Ö)
Çözümleme yollarından biri
çelişki İÇ.9M116.dİğİ İçin
nin değili tutarlıdır ancak ken•
dişi geçersizdir,
3. thermelerin E! Değerliliğinin Denetlenmesi (Çözümleyici Çizelgeyle)
Çözünıleyici çizelgede önernwlerin denkliğini denetlemek iŞn. önce verilen iki önerme birbirine karşılıklı koşul
miylo bağlanır. Daha sonra önalrnonin doğili alınır va değillonm[ş önorma çözümloma kurallarına çözümlenir.
Tüm yollar kapalıysa ehemeler eş değerdir, En az bir açık yol varsa önermeler eş değer değildir,
Örneğin; p q ile p v q önermeleri eş değer midir?
2.-1-9 v Q)
Bütün yollar kapalı Olduğu için yani doğillomesi tutarsız Ol-
düğü için önermeler eş değerdir,
q. Çıkarımların Geçerliliğinin Denetlenmesi (Çözümleyici Çizelgeyle)
» Öncüllerin kendisi ve sonucun değili alt alta yazılır.
» Çözümleme kuralları uygulanır.
» Açık yol varsa çıkarım geçersizdin
» Hiçbir açık yol yoksa çıkanm geçerlidir,
p— q p q çıkarm geçerli midir7
çelişki
Çıkarımda sonucun
değili İle Öncül arasında
tutarsızlık olduğu için
(tüm yollar kapalı)
geçerlidir.
