Page 74 - Konu Özetleri AYT Mantık

TUTARLILIK - GEÇERLİLİK - EŞDEĞERLİK DENETLEMESİ

(~p¡q) ⇔ (pVq) önermesinin tutarlılığının doğruluk çizelgesi ile denetlenmesi:

p q ~p ~p¡q (pVq) (~p¡q)⇔(pVq)

D D Y D D D

D Y Y D D D

Y D D D D D

Y Y D Y Y D

Önerme tüm yorumlarında doğru (D) değeri aldığı için totolojidir.

BİRDEN FAZLA ÖNERMENİN TUTARLILIĞININ DENETLENMESİ
Birden fazla önermenin bir arada tutarlılığını denetlemek için;
√ Önermeler yan yana yazılıp aralarına virgül konulur.

√ Sonra önermelerin doğruluk değerleri bulunur.

• Verilen önermeleri aynı anda doğru kılan ortak doğrulayıcı bir satır bulunuyorsa önermeler birbiriyle tutarlıdır.
• Bu tutarlılık, doğruluk çizelgesinde aynı doğruluk değerini gösteren yatay dizilişin altının çizilmesi ile gösterilir.
Örnekler:
~q, (~pV~q), (q ¡p) önermelerinin bir arada tutarlılığının doğruluk çizelgesi ile denetlenmesi:

p q ~p ~q (~pV~q) (q¡p)

D D Y Y Y D
D Y Y D D D

Y D D Y D Y

Y Y D D D D

2. ve 4. satırda doğru (D) değer aldığı için önermeler bir arada tutarlıdır.
(qV~p), (p⇔q), (pЛ~q) önermelerinin bir arada tutarlılığının doğruluk çizelgesi ile denetlenmesi:

p q ~p ~q (qV~p) (p⇔q) (pЛ~q)

D D Y Y D D Y

D Y Y D Y Y D
Y D D Y D Y Y

Y Y D D D D Y

Birlikte doğru değer aldığı tek bir satır bile olmadığı için önermeler bir arada tutarsızdır.

74 MEBİ KONU ÖZETLERİ MANTIK - AYT