SEMBOLİK MANTIK
Niceleme Manh5mda Çözümleme Yaparken Takip Edilen İşlem Basamaklan
l. Tümel Niceleyici Değineme
2. Tikel Niceleyici Oe5iIIeme Kuralı
3. Yazma
Tümel Özetleme Eurah (VxFx)
Tümel niceleyici atılır. İfadede geçen sernbolün (x, V, z)
yerine bir ad sembolü (a. b, c) yazılır, Yd üzerinde geçen
bir ad sembolü varsa 'arklı bir ad sembolü yazıl",
Özellervwşi
q. Tikel Özeneme Kuralı
5. Çatal Açma Kural'
L. Tümel Özeneme Kuralı
Tikel Özetleme (3xFx)
Tikel niceleyici atılır, lladade geçen sembolün (x, y, z)
yerine bir ad sembolü (a, b. c) yazıl". Yol üzerinde ge-
çen bir ad sembolü varsa faıklj bir ad sembolü yaz"",
Özeli emesi
Özenemesi
Niceleme Mantığına Göre Genel Çözümleme Kurallar'
Ö normoler
Tümel ovotlomo
Tikel
1. 3x(FavGaj
Örnek:
—3xGx VxHx
Doğlllemo Önormohrl
Tümel Evotlomo Doğlllemosl
Tikel
-3x(Fx v Gx)
1. Vx-(Fa v GB)
Karşılıklı Koşul
Örnek:
1. -Vx(Fx Gx)
Karşılıklı Koşul Doğlllemosi
3x-(Fa G")
Gaa İ]
—3xGx A XHX
-3xGx
V xHx
Vx-Gx(2.j
Yol açık Olduğundan Önerme tutarlıdır,
VxFx 3xFx önermesi geçerli midir?
VxFx
-3xFx
Tüm yollar kapalı olduğu
için Önerme geçerlidir,
MANTIK
