DEĞİŞMEZLER
Örnek: İstanbul
ad değşmü
büyükşehirdir. (Fa)
Yüklem değişmezi
SEMBOLİK MANTIK
Özel Değişmezler
Yüklem Değişrnezleri
Niçxleyidler
Tümel niceleyicileri her, bütün, hiçbiri, gibi
» Tikel nicxleyicileri kimi, bazı, birkaç gibi sözcük-
'ere karşılık gelir. (3)
Önermedeki İşimler a, b, c, d gibi harflerle Şam-
bolleştirilir_ Aynı isim, aynı harfle sembolleştirilir,
Önermedeki yüklemler F, G, H git* harflerle
sembolleştirilir, (Aynı harfle sembolleştirilir,)
TÜMEL VE TİKEL NİCELEYİCİ NNEKLER(
l. Tümel Niceleyici Vx
(i hawandjr.) E (kedi, kuş.
(Kodi hapandw,) (Kuş hayvandır,) (Fil hawandjr.)
Tümel niceleyki etkisindeki bir açık önermenin doğrulanabilnwsi için evrendeki her
olemanjn açık önermodoki değişkeni doğrulaması qorokir.
2. Tikel Niceleyici 3x
(x metaldir,) E (bakır, altın, su)
metaldir,) v (Altın metaldir.) v (Şu metaldir,)
Tikel niceleyici etkisindeki bir açık önormonin doğrulanabilmsi için Ovrondoki olaman•
VxFx önermesinin E: (a, b, c) ov-
renimdeki açılımı nedir'?
'h" samboljoşürilir,
3xF* önermesinin E: (a, b, c) evre•
nimdeki açılımı nedir?
FavFbvFc
"V" sembolleştirilir.
laman birinin doğrulaması yeterlidir
Niceleyici Almış Önermelerin
Sembolleştirme Örnekleri
Bazı insanlar çalışkandır. (3/ Çxj
Bazı insanlar çalışkan değildin (3x — Çx)
Bazı msanlann çalışkan olmadığı doğru değildir, (—3x —Çx)
ğ Her insan çalışkandır. (Vx Çx)
Her insan çalışkan değildir, (Vx —Çx)
ğ Hbçbir insanın çalışkan olmad»ğl doğru değildir. (—Vx —Çx)
Çıkarımın Sembolleştirilmesi
Örnek: Bütün
canlılar ölümlüdür,
Murat canlıdır,
O hâlde Murat
Ölümlüdür,
Bütün (Vx) canlılar (x)
Ölümlüdür
O C Murat
Ölürnlüdür (F).
Sonuç olarak bu çıkarımın niceleyiciler kullanılarak yapılan
Şöyle dur: VXF-X, Fa
MANTIK
