NİCELEME MANTIĞI - TEMEL KURALLAR - DENETLEMELER
Tikel Niceleyicinin Değilleme Kuralı:
-3xFx vx-Fx biçiminde ifade edilir. Değillenmiş tikel niceleme önermesi yerine
eş değeri olan tümel niceleme önermesi yazılır.
Tikel niceleyici değilleme kurall
-3xFx vx-Fx
Ornek:
Bazı insanların çirkin olduğu doğru değildir.
Hiçbir insan çirkin değildir. vx—Fx
B. Özelleme Kuralları
— 3X FX
— Vx—Fx
Ozelleme kuralları da tümel ve tikel olmak üzere ikiye ayrılır.
Tümel Ozelleme Kuralı (vxFx): Çözümleyici çizelgede işlem yapılırken vxFx gibi bir tümel önermenin özellemesini yap-
mak için aynı yol üzerinde daha önce geçmiş bir ad sembolü (a, b, c gibi) varsa x bilinmeyeni yerine o ad sembolü yazılır.
Eğer daha önce geçmiş bir ad sembolü yoksa herhangi bir ad sembolü kullanılır. Çözüm yapılan yol üzerinde birden fazla
ad sembolü geçiyorsa bu ad sembollerinin her biri ile tümel niceleme önermesinin ayrı ayrı özenemesi yapılır. Tümel özel-
[eme yapılırken tümel niceleyici (v) kalkar, sadece yüklem sembolü kalır.
Ornek:
vxFx, Fb Gb
1 . vxFx (öncül)
Fb (öncül)
Gb (-sonuç)
Tikel Ozelleme Kuralı (3xFx): Çözümleyici çizelgede işlem yapılırken 3xFx gibi bir tikel önermenin özellemesini yapmak
için aynı yol üzerinde daha önce geçmiş bir ad sembolü (a, b, c gibi) varsa x bilinmeyeni yerine o ad sembolünden farklı
bir ad sembolü kullanılır. Eğer daha önce geçmiş bir ad sembolü yoksa herhangi bir ad sembolü kullanılır. Tikel özeneme
yapılırken tikel niceleyici (3) kalkar, sadece yüklem sembolü kalır.
Örnek:
3XFx, Gb Ga
ı. 3XFx (öncül)
Gb (öncül)
Ga (-Sonuç)
Fc(l)
Niceleme mantığında çözümleyici çizelge ile denetleme yapılırken aşağıdaki Sıra izlenir:
1. Tümel niceleyici değilleme kuralı
2. Tikel niceleyici değilleme kuralı
3. Alt alta yazma kuralı
4. Tikel özelleme kuralı
5. Çatal açma kuralı
6. Tümel özelleme kuralı
MANTIK - AYT
MEBİ KONU ÖZETLERİ
