NİCELEME MANTIĞI - TEMEL KURALLAR - DENETLEMELER
Niceleme Mantığında Önermelerin Eşdeğerliğinin Denetlenmesi
İki önermenin eşdeğerliğini denetlemek İçin;
• Önce iki önerme karşılıklı koşul eklemi ile birleştirilerek tek bir önerme yapılır.
• Oluşturulan önermenin tamamının değili alınır.
• Çözümleyici çizelge kurallarına göre çözümleme yapılır.
• Eğer yollar kapalıysa iki önerme birbirine eşdeğerdir.
• Eşdeğerlik, (denklik) işareti olan " " ile gösterilir.
Omek:
vx-Fx, -3xFx önermelerinin eşdeğerliğinin çözümleyici çizelge ile denetlenmesi
(ö)
(Vx—Fx) (—3xFx)
1. - [(vx-Fx) (-3xFx)]
5. Vx—Fx
4. 3xFx
2. —Vx—Fx
-3xFx
3.
6. 3XFX
7. vx-Fx
x
Önermenin değillenmiş hâlinin çözümleme-
sinde tüm yollar kapalı olduğu için önermeler
eşdeğerdir.
Niceleme Mantığında Çıkarımın Geçerliliğinin Denetlenmesi
Niceleme mantığında bir çıkarımın geçerliliğini denetlemek için;
• Çıkarımların geçerliliğini denetlerken öncüller ve sonuç önermesi alt alta yazılır.
• Öncüller değiştirilmeden yazılırken sonucun değillemesi alınır.
• Çözümleme çizelgesinin sonunda tüm yollar kapalı ise çıkarım geçerlidir.
Örnek:
vxFx, vxGx vx(Fx Gx) çıkarımının çözümleyici çizelge ile denetlenmesi
vxFx, vxGx vx(Fx — Gx)
4.
5.
2.
VxFx
vxGx
(ö)
(ö)
-vx(Fx — Gx) (-sn)
3 x-(Fx— Gx) (1)
Fa (4)
x
Çözümlenmesinde tüm yollar kapalı olduğu
için çıkarım geçerlidir.
MANTIK - AYT
MEBİ KONU ÖZETLERİ
93
