SEMBOLİK MANTIK
NİCELEME MANTIĞI (YÜKLEMLER MANTIĞI)
Önermeler mantığı önermehri sadece nitel* ve yargı sayısı bakımından ele almaktaydı ve örwrmelerin lüceIkIeriN ve iç
yapılarını almamaktaydı, İşte bu eksikliği Oflaya
Nicelem mantığı emermderin hem (tümel, tjkd) hem nitelikleri (olumlu-dwnsuz) detaylı olarak sembolleştirir,
Örnek; Örxrrneler mantığı; "Bütün irsanlar Ölümlüdür.' "P' Nixleme mantığı: Bütün Ölümlüdür,' •VxFx"
Önermeler mantığı
Niceleme mantığı
NİCELEME MANTIĞI İLE İLGİLİ ERVRRMLRR
Değişken
x, y, z gibi bilinmeyenlerdir.
Evren
Açık önermolori kapalı ömarmo hâline çevirrrwk için x, y, z
gibi deQişkenIerinin yerime koyabileceğimiz tüm terimleri
'çelin kürneye evren denir,
Açık
İçinde değişken bulunduran önermelerdir. DcAruIuk değeri
belli değildir, İçinde bulundukları doğişkon sayısına göre
isim alırlar, Örnek: X sıvıdır,
Kapalı Önerme
İçlerinde değişken bulundurmazlar. Doğrulukları nettir.
Niceleme
Belli dımıluk değeri taşımayan açık önermeyi belli bir
doğruluk dağari Olan önermeye dönüştürme işlomono denir,
Öze "eme
Açık önormodoki değişkenin yerine vorilan avrondaki
elamanları yazmak suretiyle belli doğruluk değerinin elde
edilmesidir.
Gerçekleme
Özellenwlerdon açık önermeyi doğrulayanlara gerçekleme
denir.
Kendinden daha küçük anlamlı birimhre ayrılmayan
İfadelerdir ve ikiye ayrılırlar.
Örnek: Su sıvıdır.
"x bitkidir.'
Çam ağacı bitkidir,
Semizotu bitkidir.
Masa bitkidir,
EVKEN
(Çam semizotu. maşa)
RÇIE ÖNERME
X bitkidir.
ZRPRLI ÖNERME
Çam ağacı bitkidir.
ÖRNEKLER
E: Çam ağacı. semizotu. masa
(Önetmeyi doğruluyor,)
(Önermeyi doğruluyor.)
(Önermeyi doğrulamıyor.)
ÖZELLEME
Çam ağacı bitkidir.
Semizotu bitkidir.
Masa bitkidir.
GERÇEKLEME
Çam ağacı bitkidir.
Semizotu bitkidir.
