30 Temmuz 2013 Salı

Niceleme ( Yüklemler ) Mantığı Konu Anlatımı


NİCLEME  MANTIĞI(YÜKLEMLER MANTIĞI)
Önermeler mantığı ,önermeleri sadece nitelik yönünde ele alır, oysa önermelerin nicelikleri de vardır.Önermeler mantığı  önermeleri nicelik yönünde ele almada yetersiz  kalır.
Niceleme mantığı , önermeler mantığının bu eksiğini ortadan kaldırır, önermelerin daha ayrıntılı sembolleştirmesini yapar.
İçinde niceleme sembolleri(niceleyiciler)tikel niceleyici”∃” sembolü  veya  tümel niceleyici  (her, Hiçbir)  “∀” sembolü bulunduran önermeleri inceleyen mantık bölümü  niceleme  (yüklemler)  mantığı olarak adlandırılır.
İçinde her “∀” ,bazı “∃”  gibi niceleyici bulunduran önermelere genel önerme denir.
İçinde niceleyici bulunmayan önermeler ise tekil önerme denir.
ÖRNEK:    ”Tüm canlılar beslenir”  bu önerme içinde “∀” sembolüne karşılık gelen “tüm” niceleyicisini bulundurduğu için genel bir önermedir.
ÖRNEK: Hiçbir insan taş değildir. Genel önermedir.
ÖRNEK: Bazı öğrenciler çalışkandır. bu önerme içinde “∃”  sembolüne karşılık gelen “bazı” niceleyicisini bulundurduğu için genel bir önermedir.
ÖRNEK: Adana Çukurova’dadır. Önermesinde  niceleyici sembolüne karşılık gelen (tüm,her,bazı, kimi,hiçbir gibi )niceleyici bulunmadığı için tekil önermedir.
ÖRNEK: Ecem öğrencidir. Önermesinde  niceleyici sembolüne karşılık gelen (tüm,her,bazı, kimi,hiçbir gibi )niceleyici bulunmadığı için tekil önermedir.
UYARI!! Bir önermenin genel önerme sayılması için içinde  “∀” ve “∃ ”  niceleyicilerini bulundurması gerekir.

                         NİCELEME MANTIĞINDA TEMEL TANIMLAR (KAVRAMLAR)
Niceleme mantığında önermeler nicelikleri  bakımından incelenirken bazı kavramların bilinmesi gerekir.
1-DEĞİŞKEN: Belirsiz olan özneyi belirten ve alacağı değerlere göre önermenin doğruluk değerini etkileyebilen bilinmeyen(belirsiz) sembollere  değişken denir. Bunlar   x,y,z  biçiminde gösterilir.
2-AÇIK ÖNERME: İçinde x,y,z, gibi değişkenleri barındıran önermelere açık önerme denir.
UYARI!! Açık önermeler bir doğruluk değerine sahip değildir.
ÖRNEK: x hareketlidir. Önermesinde x’in yerine “insan” terimini getirilirse doğru,x’in yerine”taş”terimi getirilirse yanlış değer alır.
Bir açık önermede tek bir değişken varsa birli, iki değişken varsa ikili, üç değişken varsa üçlü, n değişken varsa n’li  açık önerme denir.
ÖRNEK:  x canlıdır. İçinde sadece bir değişken olan x bulunduğu için birli açık önermeye örnektir.
X+2=5  Birli açık önermeye örnektir.

x,z’nin kardeşidir. Önermesinde iki bilinmeyen değişken olduğu için ikili açık önermeye örnektir.
x-y+2=8 ikili açık önermeye örnektir.

X,y ve z ders çalışıyorlar. Önermesinde üç değişken bulunduğundan üçlü açık önermeye örnektir.
X+y-z=9 üçlü açık önermeye örnektir.
3-KAPALI ÖNERME:  Bir doğruluk   değeri taşıyan,yani içinde  x,y,z, gibi bilinmeyenleri bulundurmayan önermelerdir.
ÖRNEK: Ecem Ceren’den daha büyüktür.  Önermesi   kapalı  önermedir.
“2+3-1=4”   önermesinin içinde bilinmeyen olmadığı için kapalı önermedir.
4-EVREN: Açık bir önermeyi ,bilinen(kapalı)bir önerme yapmak içinaçık önermedeki değişkenin yerine getirilebilecek tüm terimler kümesine evren denir
5- ÖZELLEME: Açık bir önermeyi ,önerme haline getirmek için , verilen evrendeki değerleri, değişkenin yerine koyma işlemine özelleme denir.Bu şekilde oluşan önermeye de özelleme önermesi denir.
6- GERÇEKLEME: Evrende bulunan değerlerin bir kısmı önermeyi doğrularken bir kısmı yanlışlar. Evrendeki bir değerin özelleme önermesini doğrulamasına gerçekleme denir.
ÖRNEK: 1
Açık önermemiz :  “y+5=7” olsun 
Evrenimiz             :{1,2,3,4,5,} olsun

Evrendeki değerleri teker  teker  y’nin yerine  koyalım

1+5=7  Özelleme(Y)
2+5=7 Özelleme(D)Gerçekleme
3+5=7Özelleme(Y)
4+5=7Özelleme(Y)
5+5=7Özelleme(Y)

UYARI!! Her gerçekleme aynı zamanda özellemedir;ancak her özelleme gerçekleme olmayabilir.

ÖRNEK:2
X  Canlıdır .              Açık önermemiz olsun

E :{taş,insan,çiçek}   Evren olsun

Taş canlıdır. Özelleme(Y)

İnsan canlıdır.Özelleme (D) Gerçekleme

Çiçek canlıdır.Özelleme(D) Gerçekleme




Niceleme mantığında tümel  önermeye örnek verecek olursak:
Niceleme mantığında tümel bir önermenin doğru olması için evrende bulunan bütün elemanlar tarafında doğrulanması gerekir.  Daha önce sembolik mantık‘ta öğrendiğimiz gibi tümel evetleme sembolü ile birleştirilen bileşenlerin sonucunun doğru olması için her iki bileşenin de doğru olmasına bağlıydı.  Örnek: p^q önermesi  p=D , q=D ise (D^D)=D  olur.

∀xBx (her x için x beslenir )   E:{insan,kuş,at} evrendeki değerleri “x” değişkeninin yerine koyalım.
UYARI!!  Niceleme mantığında tümel  ”∀” sembolünün  olduğu önermeler tümel evetleme sembolü olan  “^” ile birleştirilir.
İnsan beslenir  ^  kuş beslenir  ^  at beslenir
D             ^            D           ^          D      
 Sonuç=D

ÖRNEK:  ∀x(FxGx) önermesinin “E:{a,b,c} “ evrenindeki açılımını yapalım.
Burada F,G  Yüklem  a,b,c   ise öznedir , önermemiz ise  sembolünü içerdiği için tümel bir önermedir. Yani ana eklemimiz tümel evetleme eklemi olan  ”^” (ve)’dir.
-Öncelikle açılım yaparken önce birinci özne her iki yüklemin önüne yazılır ve parantez içine alınır, araya  “^” sembolü yazılır, diğer özneler için de sırasıyla aynı işlem yapılır.
Açılım şu şekilde yapılır: (Fa→Ga)^(Fb→Gb)^(Fc→Gc)


Niceleme mantığında tikel  önermeye örnek verecek olursak:
Niceleme mantığında tikel bir önermenin doğru olması için evrende bulunan en az bir eleman tarafında doğrulanması gerekir.  Daha önce sembolik mantık‘ta öğrendiğimiz gibi tikel evetleme sembolü ile birleştirilen bileşenlerin sonucunun doğru olması  en az bir  bileşenin  doğru olmasına bağlıydı.  Örnek: pVq önermesi  p=D , q=Y ise (DVY)=D  olur.

∃xBx (her x için x beslenir )   E:{insan,taş,at} evrendeki değerleri “x” değişkeninin yerine koyalım.
UYARI!!  Niceleme mantığında tikel  ” ∃ “ sembolünün  olduğu önermeler tikel evetleme sembolü olan  “V” ile birleştirilir.
İnsan beslenir  V   taş  beslenir  V  at beslenir
D             V           Y          V          D      
Sonuç=D
ÖRNEK:  ∃x(FxGx) önermesinin “E:{a,b,c} “ evrenindeki açılımını yapalım.
Burada F,G  Yüklem  a,b,c   ise öznedir , önermemiz ise  sembolünü içerdiği için tikel bir önermedir. Yani ana eklemimiz tikel evetleme eklemi olan  ”V” (veya)’dır.
-Öncelikle açılım yaparken önce birinci özne her iki yüklemin önüne yazılır ve parantez içine alınır, araya  “V” sembolü yazılır, diğer özneler için de sırasıyla aynı işlem yapılır.
Açılım şu şekilde yapılır: (Fa→Ga)V(Fb→Gb)V(Fc→Gc)
BASİT VE BİLEŞİK ÖNERME
1-Tekil Önermelerde:
BASİT ÖNERME: İçinde önerme eklemi bulunmayan önermeler basit önermelerdir.
Örneğin : Fab gibi
BİLEŞİK ÖNERME : İçinde önerme eklemi bulunan önermeler bileşik önermelerdir.
Örneğin : Fa V Ga gibi
2- Genel önermelerde:
BASİT ÖNERME: Tek niceleyici taşıyan önermelerdir
ÖRNEK:∀xFx
BİLEŞİK ÖNERME:En az bir niceleyici ve bir ana eklem bulunduran önermelerdir
ÖRNEK:∀xFx→Fa



NİCELEME MANTIĞINDA SEMBOLLEŞTİRME
1.Yol:  Bütün çocuklar güzeldir.∀xGx
2.Yol:  Bütün çocuklar güzeldir. Önermesinde çocuklara güzel anlamı yüklendiği için, “ Bütün çocuklar güzeldir.”  Önermesi ∀x(Çx→Gx)  biçiminde de sembolleştirilir.Burada  Ç :çocuklar ,
G: güzeldir kavramları için kullanılmıştır.
1.Yol: Bazı insanlar akıllı değildir. ∃x˜Ax
2.Yol: Bazı insanlar akıllı değildir.∃x ˜ (İx ^ Ax)
Özel değişmezler ve semboleştirme: Bunlar ad ve yüklemlerdir. Niceleme mantığında özne(ad) a,b,c,d,gibi küçük harflerle, yüklemler ise F,G,H gibi büyük harflerle gösterilir ve yüklem özneden önce yazılır.
ÖRNEK:     Ali akıllıdır.
      Ali                 akıllıdır
a(özne)        F(yüklem)
aF’dir  ancak  Fa olarak gösterilir.

ÖRNEK: Ecem ve Ceren güzeldir
Ecem         Ceren          gözeldir
a                 b                   F
Fab     şeklinde yazılır burada F hem a’nın hem b’nin yüklemi olduğu için ,iki ad’a ait yükleme ikili yüklem denir.Eğer üç ad’a ait ise üçlü yüklem denir.

ÖRNEK: Okula gelir ise yazılı olacak
Okula     gelir     ise      yazılı      olacak
a          F         →           b            G
Fa→Gb  şeklinde sembolleştirilir.

ÖRNEK: Araba bozuktur ya da yollar iyi değildir
Araba            bozuktur         ya da         yollar          iyi değildir
a                   F                 V               b                  ˜ G
       FaV˜Gb

NİCELEYİCİ DEĞİLLEME KURALLARI  

˜∀xFx  ≡ ∃x˜Fx
˜∃xFx  ≡∀x ˜Fx
˜∀x˜Fx ≡ ∃xFx
˜∃x˜Fx  ≡ ∀xFx

Hiç yorum yok:

Yorum Gönder