ÇÖZÜMLEYİCİ ÇİZELGE İLE TUTARLILIK, GEÇERÜLİK VE EŞDEĞERLİK DENETLEMESİ
(p:şq) A epAq) önermesinin tutarlılığının çözümleyici çizelge ile denetlenmesi
1. A (—pvq)
2. —(pz.q)
3. (—pvq)
p
—p
x
(ö)
En az bir açık yol yani önermenin en az
bir doğru yorumu olmadığı için önerme
tutarsızdır.
q
x
BİRDEN FAZLA ÖNERMENİN BİR ARADA TUTARLILIĞININ ÇÖZÜMLEYİCİ ÇİZELGE İLE DENETLENMESİ
Birden fazla önermenin birbiriyle tutarlı olması, önermeleri birlikte doğru kılan odak doğrulayıcı yorumun bulunmasıyla
mümkündür.
Çözümleyici çizelge ile birden fazla önermenin birbiriyle tutarlılığını denetlemek için verilen önermeler önce alt alta
yazılır. Her birinin ardına (Ö) harfi konur.
Önermeler önce alt alta yazma, sonra çatal açma kuralı izlenerek tek tek çözümlenir.
Çözümleme sonunda tek bir açık yol bile varsa önermelerin bir ortak doğrulayıcı yorumu var demektir. Dolayısıyla bu
önermeler birbiriyle tutarlıdır. Hiçbir açık yol yoksa önermeler birbiriyle tutarsızdır.
Örnekler:
-(pvq), önermelerinin birlikte tutarlılığının denetlenmesi
1. —(pvq) (Ö)
-p
Yollar açık olduğu yani önermelerin en az
bir doğru yorumu olduğu için önermeler
birlikte tutarlıdır.
(mapıwq), (pvq) önermelerinin birlikte tutarlılığının denetlenmesi
1. (—pA—q) (Ö)
2. (pvq) (Ö)
-p
Yollar kapalı olduğu yani önermelerin en
az bir doğru yorumu bulunmadığı için
önermeler birlikte tutarsızdır.
(2)
x
MEBİ KONU ÖZETLERİ
x
MANTIK - AYT
