SEMBOLİK MANTIK
ÇÖZÜMLEYİCİ ÇİZELGEYLE
TUTARLILIK
TEK BİR ÖNERMENİN
TUTARLILIĞI
Çözümleyici çizelgede en az
yol açıksa tutarlıdır,
BİRDEN FAZLA ÖNERMENİN
TUTARLILIĞI
» Çözümleyici çizelgede alt alta
yazılan önermelerin en az bir
DENETLEMELER
Eş DEĞERLİLİK
ÖNERMENİN Eş
DEĞERLİLİĞİ
» Wrilen iki önerm karşılıklı
koşul bağlanır Ve
değili alınır. Çözümleme so-
nunda tüm yollar kapalıysa
GEÇERLİLİK
ÖNERMENİN GEÇERLİLİĞİ
Değili alınan önermenin çözümhn-
mesirile tüm yüar kapalıysa geçer-
ÇIKARIMIN GEÇERLİLİĞİ
Öncüllerin kendisi ve sonucun dağli
alt alta yazılır, çözümlenmesi yapılır,
Tüm yollar kapalıysa geçerlidi
. —p denetleyiniz,
1. p q) A (p q) önermesinin denetleyiniz,
2. -İp q) ) önermesi (p A q) birlikte tu-
(p q) Önermesinin
5. (p q) (—p —q) önermesinin "değerliğini
MANTIK
