Örnek:
(Û
— (p v —q)lÖ
Kaynak Si
SEMBOLİK MANTIK
(Yol Kapalı) (Yd Açık)
TUTARLILIK
TEK BİR ÖNERMENİN
TUTARLILIĞI
BİRDEN FAZLA ÖNERMENİN
TUTARLILIĞI
ÇÖZÜMLEYİCİ ÇİZELGEYLE
DENETLEMELER
Eş DEĞERLİLİK
ÖNERMENİN EŞ
DEĞERLİLİĞİ
GEÇERLİLİK
ÖNERMENİN
GEÇERLİLİĞİ
ÇIKARIMIN
GEÇERLİLİĞİ
l. Tutarhhğmm Denetlenmesi (Çözümleyici Çize19«e)
En az bir açık varsa e:hormo tutall'd•r. Çünkü bu durum, önermenin on azbir tane doğru sahip olduğunuqös• ;
tetir, Hiç açık yö yoksa tutarsız demektir,
Bütün yollar kapalıysa tutarsızdır.
Örneğin; (p v q) G p Q) önormosi tutarlı
—p
Bir Olduğu (q yolu)
Birden Fazla Önermenin Denetlenmesi
Önermelerin tünü,) alt alta yazılarak çözümleyici çizelge ile denetlenir En az bir açık yol varsa Cmermeler tutarlıdır, Tüm
yollar kapalı Üşe yani hiçbir açık yol yok ise önermeler birbirleriyle tutarsızd•r.
Örneğin; (p q) İle p q) birlik-
te tutarlı mıdır?
Hiçbir yol açık olmadığı
Çin tutarlı değildir.
Örneğin; (p q) İle (p h
tutarlı mıdır?
2.pvq(Ö)
YOI açık Olduğu İçin (p yolu),
önermeler birlikte tutarlıdır,
MANTIK
