59
4. UNİTE SEMBOLİK (MODERN) MANTIK

4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

  • Upload
    others

  • View
    12

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

4. UNİTESEMBOLİK (MODERN) MANTIK

Page 2: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

A. SEMBOLİK MANTIĞA GECİŞB. ONERMELER MANTIĞI1. Önerme ve Yapısı2. Basit ve Bileşik Önermeler3. Önerme Eklemleri4. Çıkarım5. Sembolleştirme6. Yorumlama7. Doğruluk Çizelgesi8. Çözümleyici Çizelge (Ağaç Yöntemi)C. NİCELEME MANTIĞI (YUKLEMLER MANTIĞI)1. Sembolleştirme2. Temel Kavramlar3. Temel KurallarC. COK DEĞERLİ MANTIK1. Üç Değerli Mantık2. Bulanık Mantık

Page 3: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Sembolik Mantık Çalışmalarının BaşlamasıSembolik mantık klasik mantığın sembolleştirilmiş biçimidir. Aristoteles'in kurduğu klasik mantık, doğru olmakla birlikte, düşünmenin yalnızca bir biçimi olan kıyasla ilgilenmiştir. Yeni Çağda “Düşünme,kıyas turu çıkarımlarla sınırlandırılamaz.” şeklinde yapılan eleştiriler klasik mantık anlayışını sarsmıştır. Bu durum mantığı yeniarayışlara sürüklemiştir. Amaç, mantığı matematik gibi kesin sonuçlara götüren bir alan haline dönüştürmektir

Klasik mantığın tekliğine karşılık, sembolik mantık birçok mantık sistemini içinde barındırmaktadır. Sembolik mantığın kapsamı içinde; iki değerli mantık (önermeler mantığı, niceleme mantığı), çok değerli mantık (üç değerli mantık, bulanık mantık) gibi mantık sistemleri yer alır.

Page 4: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

İfadeler (D/Y)

19. yy.ın ortalarına kadar doğa bilimlerinde ve matematikte büyük gelişmeler kaydedilmiştir………..

Aristoteles mantığı, düşünmenin bir yönü olan sembolleştirmeyle ilgilenmiştir. Klasik mantık, günlük dili kullanmasından dolayı tamamen içeriğin etkisindedir……………..

Klasik mantığın tekliğine karşılık, sembolik mantık birçok mantığı içinde barındırmaktadır…………….

Sembolik mantık önermelerin içeriklerini dikkate almaz………………

Page 5: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

B. ÖNERMELER MANTIĞI1. Önerme ve YapısıÖnerme doğruluk değeri olan bir cümledir. Doğruluk değeri olan bir cümle ya doğru ya yanlış olur.Doğru ve yanlış değerlerini kendine doğruluk ölçütü olarak alan mantık sistemine iki değerli mantık denir.İki değerli mantık iki bölümde incelenir. Bunlar, önermeler mantığı ve niceleme mantığıdır. Önermeler mantığı, önerme eklemleriyle oluşmuş önermeleri ve çıkarımları ele alır.En basit biçimiyle önerme; özne konumunda bir terim, yüklem konumunda bir başka terim ve özneyle yüklemi birbirine bağlayan bağdan oluşur.

Özne +Yüklem+Bağ Doğruluk değeri

Örnek:Canlılar olumludur. DoğruTürkiye'nin başkenti Adana'dır. Yanlış

Page 6: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

2. Basit ve Bileşik Önermeler

Önermeler mantığı, önerme eklemleri denilen mantıksal değişmezlerle (değil, ve, veya, ise, ancak ve ancak) kurulan önermelerden oluşmuş mantıktır. Bu mantıksal değişmezler yardımıyla iki ya da daha fazla basit önermeyi birleştirmek suretiyle yeni bir bileşik önerme elde edilir.

Klasik mantıkta tek yargı bildiren önerme basit, birden fazla yargı bildiren önerme bileşik kabul edilirken sembolik mantıkta önerme eklemi almayan önermeler basit, önerme eklemi bulunan önermeler bileşik kabul edilir.

Önerme Klasik Mantık Sembolik Mantık

Ahmet çalışkandır. Basit önerme Basit önerme

Ahmet çalışkan değildir. Basit önerme Bileşik önerme

Page 7: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

"Ahmet çalışkan değildir" önerme eklemini almıştır. 3. Önerme Eklemleri

Önerme Eklemlerinin İşlevleri:

Sembolik mantıkta önerme eklemlerinin iki temel işlevi vardır. Birincisi, önerme eklemleri, iki ya da daha fazla basit önermeyi birleştirmek suretiyle bileşik önerme elde etmeye yarar.İkincisi, önermelerin tutarlılık, geçerlilik, eş değerliği ile çıkarımların geçerliliğini denetlemeyi sağlar.

Page 8: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

ÖnermeEklemi

Günlük DildeKullanımı

Örnek Önerme ÖnermeninTanımlanması

DeğilllemeEklemi

Değil Dünya üçgendeğildir

DeğillemeÖnermesi

TümelEvetlemeEklemi

Ve İzmir tarihi veturistik şehirdir.

Tümel EvetlemeÖnermesi

TikelEvetlemeEklemi

Veya Ayşe sinemayaveya tiyatroyagidecektir.

Tikel EvetlemeÖnermesi

KoşulEklemi

İse Kübra dikkat edersebaşarılı olur.

KoşulÖnermesi

KarşılıklıKoşulEklemi

Ancak ve ancak Deniz seviyesindesu ancak ve ancak100 C' de kaynar.

Karşılıklı KoşulÖnermesi

Page 9: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

ÖnermeEklemi

Günlük DildeKullanımı

Örnek Önerme ÖnermeninTanımlanması

DeğilllemeEklemi

değil

TümelEvetlemeEklemi

Tümel EvetlemeÖnermesi

TikelEvetlemeEklemi

Veya Mehmet kitapveyagazete okuyacaktır.

Tikel EvetlemeÖnermesi

KoşulEklemi

İse

KarşılıklıKoşulEklemi

Page 10: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

4. ÇıkarımÇıkarım; bir veya birden çok önermeden yeni önerme ya da önermeler elde

etmektir.

Bütün bitkiler canlıdır. Bütün hayvanlar canlıdır.Marul bitkidir. koltuk hayvandır.

O halde marul da canlıdır. O halde koltuk da canlıdır.

Yukarıda verilen örneklerin tamamı sembolik mantıkta çıkarım olarak kabul edilirken, klasik mantıkta sadece marul örneği çıkarım olarak kabul edilir. Çünkü, klasik mantık çoğunlukla içeriğin etkisindedir. Sembolik mantıkta bu durum söz

konusu değildir.

Page 11: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

5. SembolleştirmeMantık Değişmezler: Önermeler ve Çıkarımın SembolleştirilmesiHer bir önerme ve önerme eklemine karşılık olabilecek semboller belirlenmiştir.Önermeler için belirlenen semboller: p, q, r, s, t, vb. harfler olsun.

Önerme eklemleri için belirlenen semboller: "ve" için "Λ ", "veya" için

"V", "ise" için “→, "ancak ve ancak" için "↔” "değil" için "~ "; "o halde"

için "∴ " sembolü kullanılır.

Page 12: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Örnekler:-Ahmet, Adıyamanlıdır. = p

-Ahmet ve Hakan Adıyamanlıdır = p ∧ q

-Ahmet Adıyamanlı değildir = ∼p

-Ahmet Adıyamanlı ise Hakan da Adıyamanlıdır = p → q

-Ancak ve ancak yağmur yağarsa dağlar ıslanır. = p ↔ q

-Ahmet veya Hakan Adıyamanlıdır. = p ∨ q

-Ahmet , Hakan , Yasin veya Hüseyin Adıyamanlıdır = p ∨ q ∨ r ∨ s

-Çalışır isen kazanırsın. = p → q

-Gelsen de göremezsin = p → ∼q

Page 13: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

ÖnermeEklemi

Sembolü

Günlük DildeKullanımı

Örnek Önerme

Sembolik MantıktaKullanımı

Önermenin

Tanımlanması

DeğilllemeEklemi ~

değil Hava yağmurludeğildir. ~ p Değilleme

Önermesi

TümelEvetlemeEklemi

Λ ve Ahmet öğrenci vesporcudur.

p∧q Tümel EvetlemeÖnermesi

TikelEvetlemeEklemi

Λ veya Ayşe kitap okuyacakveya yürüyüşyapacaktır.

p∨q Tikel EvetlemeÖnermesi

KoşulEklemi → ise Ağaç çiçek acar

ise meyve verir. p→q KoşulÖnermesi

KarşılıklıKoşulEklemi

↔ Ancak ve ancak

Kar yağmıştır ancakve ancak havasoğumuştur.

p ↔q Karşılıklı KoşulÖnermesi

Page 14: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Sembolü Günlük Dildeki Önerme

p∨q

p∧∼q

p→p

q↔∼p

(p∨q) →∼q

p∧ (q→∼s)

(p∧q) →(q∧p)

∼p

p Λ q

Page 15: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Çıkarımın Sembolleştirilmesi:Günlük dildeki çıkarımları sembolleştirmek için çıkarımdaki öncüller ve sonuç önermesi tespit edilir. Her bir önermeye p, q, r, s gibi bir ad verilir. Birinci öncül, ikinci öncüle koşul eklemi ile bağlanır. Sonuç önermesindeki “O hâlde” ifadesi

“∴” işaretiyle gösterilir.

Her öğrenci çalışırsa başarır. (p→q)

Hülya çalışkan bir öğrencidir. (p)O hâlde Hülya başarır. ∴q

---------Bütün kanatlılar uçar. ……………….

Kedi kanatlıdır. …………………O hâlde kedi de uçar. …………………

Page 16: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

D/Y1 Her bir basit önerme; p, q, r, s gibi harflerle gösterilmiştir………

2 “Ve” eklemi, “∨” işaretiyle gösterilmiştir…………

3 “Veya” eklemi, “∧” işaretiyle gösterilmiştir…………..

4 Koşul anlamındaki “ise” eklemi, “→” işaretiyle gösterilmiştir…………5 Karşılıklı koşul anlamındaki “ancak ve ancak” eklemi, “→” işaretiyle gösterilmiştir………….6 Önermelerdeki her bir ad (özne) veya yüklem, ayrı bir harf ile gösterilmiştir……..

7 Yüklemin onaylanmadığı “değil” eklemi, “∼” sembolü ile gösterilmemiştir……..8 Bileşik önermeler, bileşik önermede yer alan basit önerme sayısı kadar harf ile sembolleştirilmiştir……………..

9 İfadelerde “virgül” işareti, “ve” ya da “veya” anlamına gelecek şekilde kullanılmıştır………..

10 Bir önermede önerme eklemi kullanılmışsa, önerme birden fazla harf ile sembolleştirilmiştir……………

Page 17: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

GENEL KURALLAR

1. Önerme sembolleri p, q, r, s gibi harflerle sembolleştirilir.

2. Önerme eklemleri ∧, ∨, →, ↔, ∼ gibi işaretlerle sembolleştirilir.

3. Bileşik önermelerde geçen her bir ad ve yüklem, basit birer önerme kabul edilir ve ona göre sembolleştirilir.

Page 18: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Önermeler Sembolleştirilmiş Hali1-Güneş doğarsa gün başlar. ……………………………………….

2- 2 ve 7 tek sayıdır. ………………………………………..

3- 2 veya 7 tek sayıdır. …………………………………………

4 -α geometriyle ilgili bir terimdir. …………………………………………

5- Yer çekimi yoksa taşlar düşmez. …………………………………………

6- Evrensel çekim varsa gezegenler hareket eder. ………………………………………..

7 -Zaman, her şeyin ilacı değildir. ……………………………………….

8-Bugün cumartesidir. ………………………………………

9 Bugün salı ise yarın çarşambadır. ………………………………………..

10 Bugün ancak ve ancak salı ise yarın çarşambadır. ………………………………………

Page 19: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Ana Eklem ve Ana Bileşenler

Önerme eklemleriyle kurulan bileşik önermelerin temelinde en az bir basit önerme vardır. Bileşik önermeleri oluşturan önermelere o önermenin ana bileşenleri denir. önerme ekleminden önceki önerme ön bileşen, sonraki önerme art bileşen adını alır. Bileşenleri bağlayan temel önerme eklemine de ana eklem denir.Bir önermenin ne tür bir önerme olduğunu belirlemek için önce onu oluşturan ana eklemi belirlemek gerekmektedir.

Örnek:

Page 20: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Önermeler Ana Eklem Ana Bileşenler

∼p

∼p∧q

(∼p∨q) → (q∨p) → ∼p∨q q∨p

(p→q) ↔ (q↔p)

p∨q) ∨(q∧p)

Page 21: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

6. Yorumlama

Önermelerin doğru veya yanlış değerlerden hangisini aldığını belirlemeye yorumlama denir.

Yorumlama işleminde “doğru” kısaca “D” ile, “yanlış” kısaca “Y” ile gösterilir.

Değilleme Eklemi “~” (Değil):

Değilleme önermesi tek bileşenli bileşik önermedir. ~ p

Önerme Önerme Eklemi

Doğruluk Değeri

Hava güneşlidir.

D

Hava güneşli değildir

değil(~)

Y

P ∼p

D D

Y Y

Page 22: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Çifte değilleme kuralını da katarak yeni bir doğruluk çizelgesi oluşturalım:

bir önermenin değilinin değili kendisidir.

Önerme Önerme Eklemi

Doğruluk Değeri

Domates sebzedir.

D

Domates sebze değildir.

değil

(~)Y

Domates sebze olmayandeğildir.

olmayan değildir.

(~ ~)D

p ∼p ∼∼p

D Y

Y D

Page 23: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Tumel Evetleme Eklemi “Λ” (ve)

Bir tümel evetleme önermesinin “D” yorumu alabilmesi için her iki önermenin deaynı satırda “D” olması gerekir. Tümel evetleme önermesi tüm diğer durumlarda “Y” değeri alır.Bu, görseldeki suyun akışına benzer. En alta su akabilmesi için göletlerin her ikisinin de kanallarının açık olması gerekir.

Page 24: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Önerme Önermeeklemi

Önerme Doğrulukdeğeri

Ahmet çalışkandır.

ve Ahmet başarılıdır.

D Λ D D

Ahmet çalışkandır.

ve Ahmet başarılı değildir

D Λ Y Y

Ahmet çalışkan değildir

ve Ahmet başarılıdır.

Y Λ D Y

Ahmet çalışkan değildir

ve Ahmet başarılı değildir.

Y Λ Y Y

P q p∧q

D D

D Y Y

D

D Y

Page 25: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Tikel Evetleme Eklemi “V” (veya)

Tikel evetleme eklemi günlük dilde "veya" , "ya da" sözcüğü yanında "ya...ya", "yahut" gibi sözcüklerle de ifade edilir.Tikel evetleme önermesinde iki önermeden biri “D” değeri alıyorsa sonuç “D”, her iki önerme de “Y” değeri alıyorsa sonuç “Y”dir.

P q p∨q

D D D

D Y D

Y D D

Y Y Y

Page 26: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Koşul Eklemi ” →” (ise)

Koşul eklemi günlük dilde "ise" sözcüğü yanında "yeter ki", "için...gereklidir", "koşuldur" gibi sözcüklerle de ifade edilir. Koşul önermesinde önermelerden ilki “D”, ikincisi “Y” ise sonuç “Y”dir. Diğer durumlarda sonuç “D”dir

P q p→q

D D D

D Y Y

Y D D

Y Y D

Page 27: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Karşılıklı Koşul Eklemi “ ↔”Karşılıklı koşul eklemi günlük dilde "ancak ve ancak" sözcüğü yanında "gerekli ve yeterli koşul", "tek koşullu", "birbirini gerektirip" gibi sözcüklerle de ifade edilir.Karşılıklı koşul önermesinde her iki önerme de aynı doğruluk değerini alırsa sonuç “D”, diğer durumlarda sonuç “Y”dir.

P q p↔q

D D D

D Y Y

Y D Y

Y Y D

Page 28: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

p q ∼p ∼q pΛq ∼p∨∼q p→q q↔p

D D

D Y

Y D

Y Y

n=1 n=2 n=3 Formülü

Page 29: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Soru:

Aşağıda verilen önermelerde; p'nin yerine D, q'nun yerine de Ydeğerlerini vererek önermeleri "a“ seçeneğindeki çözümü dikkate alarak çözümleyiniz.

Page 30: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

7. Doğruluk Çizelgesi (Tutarlılık, Geçerlilik, Eşdeğerlilik )

a) Tutarlılık DenetlemesiDoğruluk tablosundaki önermenin yorumlanmasında önerme en az bir doğru değeri alıyorsa buna tutarlı önerme denir. Eğer hiçbir satırda doğru (D) yorum yoksa bu önermeye tutarsız önerme denir.

Verilen bir önermenin tutarlılığının denetlenmesi aşağıdaki şekilde yapılır:

Sonuç Sütunu

Sonuç: Önerme, sonuç sütununda en az bir tane “D” değeri aldığı için

tutarlıdır.

P q (p∧q) (p→q) (p∧q)∨ (q→p)

D D D D D

D Y Y Y Y

Y D Y D D

Y Y Y D D

Page 31: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Önermelerin birlikte tutarlılığı:

Birden fazla önermenin birlikte tutarlı olabilmesi için sonuç satırlarınınen az birinde her iki önermenin de “D” değeri alması gerekir.

Sonuç: Her iki önerme de ilk satırda “D” yorumu aldığı için bu iki önerme

birlikte tutarlıdır.

p q (p∧q) (q→p)

D D D D

D Y Y Y

Y D Y D

Y Y Y D

Page 32: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Önermelerin Geçerliliğinin Denetlenmesi

Bir önermenin bütün yorumlamaları doğru değerini alıyorsa yani yanlışlaşıcı yorumu yoksa önerme geçerlidir. Geçerli önermeler topolojidir yani bütün yorumlamaları doğru olan önermeye topoloji denir.

Sonuç : Bileşik önermenin sonuç bölümü, tüm satırlarında “D” yorumu aldığı

için geçerlidir. Sonuç bölümünün hepsi “D” olduğu için önerme aynı zamanda topolojidir.

p q (p∨q) (p→q) (p∨q)∨ (p→q)

D D D D D

D Y D Y D

Y D D D D

Y Y Y D D

Page 33: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Önermelerin Eş Değerliğinin Denetlenmesi

Verilen iki önermenin doğruluk değerleri her satırda aynı ise yani her iki önerme de aynı anda aynı doğruluk değerini alıyorsa bu iki önerme eş

değerdir. Eş değerlik (≡) sembolüyle gösterilir.

Sonuç: Her iki önermenin sonuç bölümleri aynı satırda aynı doğruluk değeri aldığı için bu iki önerme eş değerdir.

p q ∼p (p∨q) (∼p→q)

D D Y D D

D Y Y D D

Y D D D D

Y Y D Y Y

Page 34: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Çıkarımın geçerliliğinin Denetlenmesi

Bir çıkarımın geçerli olabilmesi için öncüllerin ve sonucun birlikte doğru olması gerekir

1 Yol: Çıkarımın öncül önermeleri ve (∧) eklemiyle birbirine bağlanır. Elde

edilen bu bileşik önerme, sonuç önermesine ise (→) eklemiyle bağlanır.

(p→q), (p∨q)∴q çıkarımının geçerli olup olmadığını birinci yolu kullanarak denetleyelim.

Sonuç: Çıkarım tüm satırlarda “D” değeri aldığı için geçerlidir.

p q (p→q) (p∨q) [(p→q)∧(p∨q)]

[(p→q)∧ (p∨q)] →q

D D D D D D

D Y Y D Y D

Y D D D D D

Y Y Y Y Y D

Page 35: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

2. Yol: Öncüller birleştirilmez ve değiştirilmez fakat sonucun değili alınır.

(p→q), (∼p∨q)∴ q çıkarımının geçerli olup olmadığını ikinci yolu kullanarak denetleyelim.

Sonuç: Öncüller ile değillenmiş sonuç önermeleri aynı satırda birlikte “D” değeri aldıkları için çıkarım geçersizdir. Hiçbir satırda birlikte “D” değeri almasaydı geçerli olacaktı.

p q ∼p (1.öncül) (p→q)

(2.öncül)(∼p∨q)

(Değillenmiş Sonuç) ∼q

D D Y D D Y

D Y Y Y Y D

Y D D D D Y

Y Y D D D D

Page 36: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

8. Çözümleyici Çizelge (Ağaç Yöntemi)Çözümleyici Çizelge ile DenetlemeÖnermenin veya çıkarımın bileşen sayısı ve önerme eklemi sembolleri arttıkça doğruluk tablosuyla denetleme zorlaşır ve çözümlemede uzun ve karmaşık bir yol olarak karşımıza çıkar. Mantıkta bu uygulamadaki zorluğu ortadan kaldırmak için çözümleyici çizelge adı verilen daha kısa ve güvenli bir denetleme yöntemi geliştirilmiştir. Bu denetleme yöntemine çözümleyici çizelge ile denetleme denir.De Morgan Denklik Kuralları

Önerme Türü Örnek Tümel veya TikelEvetleme Eş Değeri

Tümel Evetleme Değilleme Ö. ∼(p∧q) (∼p∨∼q)

Tikel Evetleme Değilleme Ö. ∼(p∨q) (∼p∧∼q)

Koşul önermesi (p→q) (∼p∨q)

Koşul Değilleme Önermesi ∼(p→q) (p∧∼q)

Karşılıklı Koşul Önermesi (p↔q) (p∧q)∨(∼p∧∼q)

Karşılıklı Koşul Değilleme Ö. ∼(p↔q) (p∧∼q)∨(∼p∧q)

Page 37: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Çözümleyici Çizelge Kuralları

Page 38: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Çözümleyici Çizelge ile Denetleme Kuralları Tablosu

Alt Alta Yazma Kuralları

Tümel evetlemeninçözümleme kuralı

Tikel evetlemenin değillemesininçözümleme kuralı

Koşullu değillemesininçözümleme kuralı

Page 39: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Çatal Açma Kuralları

Tikel evetlemeninçözümleme kuralı

Tümel evetlemenin değillemesininçözümleme kuralı

Koşullununçözümleme kuralı

Karşılıklı koşullununçözümleme kuralı

Karşılıklı koşullu değillemesininçözümleme kuralı

Page 40: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Çözümleyici Çizelge ile Denetlemede İşlem Sırası

* Çözümlenecek ana önermenin sağına “Ö” koy!

* Çözümlenecek önermenin ana eklemini (ön ve ard bileşenini) belirle!

* Çengel kuralını, çatal kuralından önce uygula!

* Hangi önermeyi çözümleyeceğini adım numarası ile göster!

* Çözümleme sonunda elde ettiğin önermelerin kaynak numarasını göster!

* Yaptığın her çözümlemeden sonra aynı yol üzerinde “p” ve “∼p” gibi birbiriyle çelişen önermeler olup olmadığını kontrol et!

Bu basamaklara dikkat edilmeden yapılan bir çözümleme yanlış sonuç verir.

Page 41: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Tutarlılık, Geçerlilik, Eş Değerlik

I) Önermelerin TutarlılığıVerilen önerme, çözümleyici çizelge kurallarına göre çözümlenir. Yollardan biri açık ise önerme tutarlıdır. Aşağıda verilen (p∧q)∧(∼p→q) önermesinin tutarlılığını denetleyelim.

Sonuç: Önerme, yolların her ikisinde de çelişen önermeler

olmadığından yani tüm yollar açık olduğundan tutarlıdır.

(Önermenin sonundaki “ ↓” işareti yolun açık olduğunu

gösterir).

Page 42: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Birden Fazla Önermenin Birlikte Tutarlılığı

(p∧q) ve (q→p) gibi iki önermenin birlikte tutarlı olabilmesi

için önermeler alt alta yazılır. Çözümlemesonunda yollardan en az biri açık ise

önermeler birlikte tutarlıdır.

Önermeler, yollardan biri açık olduğundan birlikte tutarlıdır. (x) işareti

ile kapatılan yol ise hem “∼q” hem de

“q”nun aynı yol üzerinde olduğu

anlamına gelir. “p”nin altındaki “ ↓” işareti ise aynı yol üzerinde hem “p”hem de “∼p”nin olmadığını gösterir.

Page 43: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Önermelerin Eş Değerliğiİki önermenin birbirine denk (eş değer) olabilmesi içinkarşılıklı bir ilişki içinde olması gerekir. Bunun içinönermeler karşılıklı koşul eklemiyle birbirine bağlanır ve elde edilen büyük bileşik önermenin değili alınır. İşlem sonunda önermelerin denk olabilmeleri için tüm yolların kapalı olması gerekir. Örnek: (p∨q) ile (p→q) önermesi denk (eş değer) midir?

Page 44: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Önermelerin GeçerliliğiBileşik önermelerin geçerliliğini denetlemek için önermelerin tümünündeğili alınır ve işlem sonunda yollar kapalı ise önerme geçerli, yollardan en azbiri açık ise önerme geçersizdir.

Örnek: (p∧q) → (q→p) önermesi geçerli midir?

Örnek: (p∨q) ∨ (∼p∧∼q) önermesi geçerli midir?

Page 45: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Çıkarımların GeçerliliğiÇıkarımın her bir öncülünün ve sonucunun değili alt alta yazılır. Çözümleme sonunda tüm yollar kapalı ise çıkarım geçerli, değilse çıkarım geçersizdir.Çünkü yollardan birinin açık olması, değillenmiş sonuç ile öncüllerin aynı anda doğru olması anlamına gelir.

Örnek: (p∧∼q), (p→q) ∴p çıkarımı geçerli midir?

Page 46: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

C. NİCELEME MANTIĞI (YÜKLEMLER MANTIĞI)

Önermeler mantığı, önermeleri ve çıkarımları nitelik yönünden ele aldığı için önermelerin niceliğini göstermede yetersizdir.

Niceleme mantığı, önermeler mantığının bu tur eksikliklerini ortadan kaldırarak önermelerin ve çıkarımların daha ayrıntılı sembolleştirilmesini sağlar. Ayrıcaniceleme mantığında önermeler mantığı değişmezlerine (değil, ve, veya, ise, ancak ve ancak) niceleyiciler (her, bazı) de eklenerek iki değerli mantık genişletilir.

Niceleme mantığına, önermeleri özne-yüklem ilişkisi açısından ele aldığı için yüklemler mantığı da denir.

Page 47: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

İfadeler (D/Y)Önermeler mantığı, nicelikleri temsil etmede yetersizdir……….

“Bazı hayvanlar beslenir.” önermesi, önermeler mantığına göre yapı açısından basit bir önermedir…………

Niceleme mantığı, önermeleri p, q, r, s gibi harflerle sembolleştirdiği için bu mantıkta önermelerin nicelikleri de sembolleştirilmiş olur………..

Niceleme mantığı “bazı”, “hiçbiri”, “hepsi”, “tümü” gibi niceliklerin sembolleştirilmesini sağlar…………

Önermeler mantığı önerme ve çıkarımları niceleme mantığına göre daha ayrıntılı sembolleştirir……….

Bazı önermeler sembolik mantıkla daha ayrıntılı sembolleştirilir………..

Bir önermeyi niceleme mantığında sembolleştirmek için önerme eklemleri yeterlidir………..

Page 48: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

1. Sembolleştirme

Niceleme mantığında bir önermeyi veya çıkarımı sembolleştirmek için ihtiyaç duyulan mantık değişmezleri şunlardır:

1) a, b, c, d gibi ad sembolleri

2) F, G, H gibi yüklem sembolleri

3) Tümel niceleme için A, tikel niceleme için E olmak üzere iki adet niceleme işareti4) ∧, ∨, → gibi önerme eklemleri

5) Belirsiz olan adları göstermek için kullanılan x, y, z gibi harf değişkenleri

Page 49: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Hava karlı ise kartopu oynayacağım.a F → b G Fa→ Gb

Emre ve Elif kardeştir Fab ( 2'li yüklem )a b F

Page 50: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Önermeler Önermeler Mantığı Niceleme Mantığı

Osman ressamdır. p Fa

Hasan'ın şoför olduğu doğru değildir.

~p ∼Fa

Yerçekimi varsa bütün cisimler ağırdır.

p→q Fa→∀xFx

Bazı cisimler ağırdır. p ExFx

Bazı cisimler ağırdır. pΛq FaΛGa

Önermeler mantığında önermeler, önerme eklemleri esas alınarak sembolleştirilirken; niceleme mantığında ise önerme eklemlerinin yanı sıra özne, yüklem ve niceleyiciler ayrı ayrı sembolleştirilir.

Page 51: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

2.Temel Kavramlar

*Önermelerde belirsiz olan özneyi göstermek için kullanılan x, y, z gibi sembollere değişken denir.

*Özneyi gösteren sembollere ad değişmezi denir. Örnek: “Ozlem terzidir.” onermesinde Ozlem (a) belirli bir kişiyi gösterir.

*Yüklemi gösteren sembollere yüklem değişmezi denir. Örnek: “Özlem terzidir.” önermesinde terzi (F) yüklemdir. Önerme "Fa" biçiminde sembolleştirilir.

* İçinde x, y, z gibi değişken gecen önermelere acık önerme denir. Örnek:“x terzidir.”

* Belirli bir doğruluk değeri taşıyan önermelere kapalı önerme denir. “x terzidir.” acık önermesinde x yerine konulan terim onu kapalı önerme yapar.Örnek: Özlem (x) terzidir.

Page 52: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

* Bir açık önermeyi, kapalı önerme haline getirmek için kullandığımız tüm değerler kümesine evren denir. E: {} biçiminde gösterilir.Örnek: E: {Ahmet, kedi,Ayşe, ağaç, taş, Meltem… }

*Evrende bulunan değerlerin (terimlerin) değişkenin yerine konulmasına özelleme denir. Böyle elde edilen önermeye de özelleme önermesi denir.Örnek:Meltem terzidir.

*Evrenden seçilen değerlerin bir kısmı önermeyi doğrularken bir kısmı yanlışlar. Evrene ait değerlerden birinin veya birden fazlasının özelleme önermesini doğrulaması haline gerçekleme denir. Örnek: Kedi terzidir………. özelleme yanlıştır.Ahmet terzidir…………..Özellem doğrudur.(gerçekleme)

*Bir açık önermede evrendeki her değer için bir özelleme önermesi elde edilir. Bu özellemelerin toplamına açılımı denir. Örnek:Taş terzidir! Ayşe terzidir! Ağaç terzidir…

Page 53: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Tümel niceleyici “∀ ” sembolüyle gösterilir ve bu sembol tüm, bütün, her,

hiçbir, hepsi vb. anlamlarına gelir.

Tikel niceleyici “Ǝ” sembolüyle gösterilir ve bu sembol bazı, kimi, bir kısmı

vb. anlamlarına gelir.

Page 54: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Niceleme Mantığına Göre Önermelerin Genel Çözümleme Kuralları

Tümel Evetleme Önermesi Değillenmiş Tümel Evetleme Önermesi

Tikel Evetleme Önermesi Değillenmiş Tikel Evetleme Önermesi

Page 55: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Koşul Önermesi Değillenmiş Koşul Önermesi

Karşılıklı Koşul Önermesi Değillenmiş Karşılıklı Koşul Önermesi

Page 56: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

C. ÇOK DEĞERLİ MANTIKGeleceğe yönelik kurulan önermeler örneğin,

"Yarın kar yağacak." gibi bir önerme ne doğru ne de yanlıştır. Bu durumda doğru veya yanlış değerlerin yanında başka değerlerin de kabul edilmesi gerekir.İkiden fazla değer olduğunu kabul eden mantık sistemlerine çok değerli mantık denir.Çok değerlilik; "çok doğru", "az doğru", "belirsiz", "doğruya yakın", "yanlışa yakın"doğruluk değerleriyle ifade edilebilir. Dört değerli mantık sisteminde doğru ve yanlış yanında doğruya yakın ve yanlışayakın değerleri söz konusudur. Olasılık mantığında ise iki değer arasında sonsuz sayıda olasılık değeri vardır.Çok değerli mantık sistemleri içinde en çok kullanılanı ise üç değerli mantıktır:

Page 57: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

1. Üç Değerli Mantık

“Yarın sana geleceğim.” ifadesi, hava tahmin raporları gibi yalnızca ihtimallerin gerçekleşme olasılıklarını bildirir. “Muhteşem Süleyman dizisi güzeldir.” gibi ifadeler öznellik taşır. Bu tür öngörü veya öznellik ifade eden veya kesin bir yanıtı olmayan bildirimleri doğru veya yanlış olarak değerlendiremeyiz.Klasik mantık, bu durumda bu ifadelerin bir önerme olamayacağını söyler. Fakat üç değerli mantık, “doğru” ve “yanlış”ın dışında “belirsiz” değerini de kabul eder ve bu tür geleceğe dair öngörüleri, öznel yargıları veya doğruluğu kesin olarak ortaya konulamayan bildirimleri de önerme olarak kabul eder.

Page 58: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

2. Bulanık Mantık

1960'ların ortalarında iki değerli mantık ve olasılık teorisinin eksikliğini gidermek için bulanık mantık geliştirilmiştir. Olasılık mantığında önermelerin

doğruluğu veya yanlışlığı değil ancak olasılık düzeyi bilinebilir.

Klasik Mantık ile Bulanık Mantık Arasındaki Temel Farklılıklar

Klasik Mantık Bulanık Mantık

A veya A Değil A ve A Değil

Kesin Kısmi

Hepsi veya Hiçbiri Belirli Derecelerde

Doğru veya Yanlış Doğru ve Yanlış Arasında Süreklilik

İkili Birimler Bulanık Birimler

Page 59: 4. UNİTE SEMBOLİK (MODERN) MANTIKimg.eba.gov.tr/169/0d7/6e1/4eb/366/694/0ae/953/2b7/3f5...Basit ve Bileşik Önermeler Önermeler mantığı, önerme eklemleri denilen mantıksal

Bulanık mantık kuramının kurucusu, Azeri asıllı Amerikalı bilim insanı LütfiA. Zadehʼdir.Zadeh'e göre bulanık mantık çoklu değerliliktir. Klasik mantığın yanlış-doğru önermelerine karşılık bulanık mantık, üç veya daha fazla sayıda önerme oluşturur.Bulanık mantığın başlıca özellikleri aşağıdaki gibi sıralanabilir:

* “Doğru” , “çok doğru” , “az çok doğru” gibi sözel olarak ifade edilen doğruluk derecelerine sahip olması,

* Geçerliliği kesin değil fakat yaklaşık olan çıkarım kurallarına sahip olması,

* Her kavramın bir derecesi olması,

* Her mantıksal sistemin bulanıklaştırılabilmesi,

* Bilginin, bulanık kısıtlamalara ait değişkenlerin esnekliği veya denkliğiyle yorumlanması.