Matematiksel Mantık

Kısaca: Çağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı Gottlob Frege, "''Matematik mantığın uygulama alanıdır''" görüşünden hareketle matematiğin, mantığın aksiyomatik sistemi üzerine kurulabileceğini düşünmüştür. Bu düşünceden hareket ederek aritmetiğin temelleri konusundaki felsefi çalışmaları için bir mantık sistemi geliştirmişti. ...devamı ☟

Çağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı Gottlob Frege, "Matematik mantığın uygulama alanıdır" görüşünden hareketle matematiğin, mantığın aksiyomatik sistemi üzerine kurulabileceğini düşünmüştür. Bu düşünceden hareket ederek aritmetiğin temelleri konusundaki felsefi çalışmaları için bir mantık sistemi geliştirmişti.

Daha sonra, Frege'nin çalışmalarına dayanarak, Russell ve Whitehead 1910-1913 yılları arasında Principia Mathematica adını verdikleri eserde matematiği mantığa indirgeyerek formel bir sistem haline getirmeye çalıştılar. Fakat matematiğin formel hale getirilemeyeceğini Gödel 1933'te yayınladığı bir kitabındaki (Über die unentsheidbare Saetze der Principia Mathematica und verwander Systeme) meşhur teoremiyle gösterdi.

Alan Robinson, 1967'de çözülüm teorem ispatlama yöntemini geliştirdi. Bu yöntem 1972'de A. Colmaurer tarafından ilk mantık programlama dilinin (Prolog) geliştirilmesine yol açtı. Bu dil 1975'te D. Warren tarafından “Warren Abstract Machine” (WAM) olarak ugulandı. Kişisel bilgisayarlar üzerinde ilk uygulamalar 1980'lerde ortaya çıktı.

Önermeler Mantığı

Formel sistemler şu elemanlardan meydana gelir:

  • Tanımlanmamış terimler
  • Tanımlar
  • Türetme kuralları
  • Aksiyomlardır
  • Teoremler


Formel mantığın tanımlanmamış terimleri olarak, basit önerme (P) ve mantıksal bağlar (değil, ve, veya, eğer-ise, eğer ve ancak-ise) gösterilebilir.

Tanımlanan terimlere örnek olarak bileşik önerme kavramını gösterilebilir. Aslında yukarıda verilen mantıksal bağlar bir tek mantıksal bağ yardımıyla tanımlanabilir.

Önerme

Aşağıdaki cümleler önermelere örnektir:

  • Bugün hava güneşlidir.
  • 3 asal sayıdır.
  • Duygu 21 yaşındadır.
  • 3 asal sayı değildir.
  • Duygu 21 yaşında değildir.


Mantıksal bağlar kullanarak basit önermelerden başka önermeler kurulabilir, ki bunlara “bileşik önermeler” denir.

Değilleme

Bir önerme “değil” eki ile karşıt ifadeye çevrilebilir; buna değilleme denir.

Örnek: "bu gün günlerden salı: bu gün günlerden salı degil

Birleşim

İki veya daha fazla önermeden “ve” mantıksal bağını kullanarak bileşik önermeler kurulabilir. Örnek olarak: “Bu gün hava açık ve sıcak” cümlesini verilebilir. Doğal dilde bazen “fakat” bağlacını da kullanıyoruz.

Örnek: “bugün gemiler 9'da ve 10.da sefer yapacak.”

Ayrılım

İki veya daha fazla basit önermeden “veya” (ya da) mantıksal bağını kullanarak bilesik önermeler kurulabilir.

Örnek: “Bugün Arçelik veya Teletaş'tan ziyaretçiler gelecek.”

Şartlı cümle

Aynı şekilde, iki veya daha fazla sayıda önermeden (eğer-ise) bağını kullanarak şartlı önermeler kurulabilir.

Örnek: “Eğer yağmur yağıyor ise, hava bulutludur.”

Bazen “eğer-ise” bağı yerine doğal dilde “gerektirir” bağını da kullanabiliyoruz.

Örnek: “Yağmurun yağıyor olması havanın bulutlu olmasını gerektirir.”

Çift şartlı önermeler

Yine, “eğer ve ancak-ise” bağını kullanarak birden fazla önermeden çift şartlı önermeler kurulabilir. Bu tür önermeler doğal dilde daha az kullanılmasına rağmen, fizik ve matematikte sık sık kullanılmaktadır.

Örnek: “Eğer ve ancak çalışanlar ücretlerde aşırı artış talep ederlerse enflasyon düşmez.”

Aynı cümle şu şekilde de ifade edilebilir: “Eğer, çalışanlar ücretlerde aşırı artış talep ederlerse enflasyon düşmez, ve eğer enflasyon düşmezse çalışanlar ücretlerde aşırı artış talep ederler.”

Cebirde olduğu gibi, sembolik veya matematiksel mantıkta da, önermeler yerine önermesel değişkenler kullanılır (P, Q, R, S, T harfleri gibi).

Mantıksal bağlar

Mantıksal bağlar şu sembollerle gösterilir:

\neg: değil \land: ve \lor: veya \to: eğer-ise \leftrightarrow: eğer ancak-ise

Böylece şu ifadeler, önermesel formüller olacaktır:

\neg P, P \land Q, P \lor Q, P \to Q, P \leftrightarrow Q


Örnek: "Eğer sendika veya fabrika yöneticileri inada devam ederlerse, grev ancak hükümet bir kararname çıkarır ve fabrikaya polis göndermezse önlenir."

P: Sendika inada devam eder
Q: Fabrika yöneticileri inada devam eder
R: Grev önlenir
S: Hükümet kararname çıkartır
T: Hükümet fabrikaya polis göndermez


(P \lor Q) \to (R \leftrightarrow S \land T) ----

Doğruluk cetvelleri

Mantıkta önermeler doğru ya da yanlış olabilir, fakat hem doğru hem yanlış olamaz. Bir önermeye yüklenen bu “doğru” ve “yanlış” yüklemlerine onun “doğruluk değeri” denir.

Buna göre, şimdi şu önermesel formüllerin doğruluk değerlerini irdeleyelim:

\neg P, P \land Q, P \lor Q, P \to Q, P \leftrightarrow Q

“Değil” sözcüğünün anlamından hareketle, eğer bir P önermesi doğru ise onun değillemesi, yani \neg P yanlıştır, ve bunun tersi. Mesela, P önermesi “Ay dünyanın uydusudur” cümlesi yerine geçiyorsa, bunun değillemesi olan \neg P yanlıştır.

Gene, kural olarak iki veya daha fazla önermenin birleşimi, ancak birleşen bütün önermelerin doğru olması halinde doğrudur. Mesela, “3 asal sayıdır ve 2+2=5'tir” yanlış bir bileşik önermedir.

Yine kural olarak, ayrık önermelerin doğru olabilmesi için bileşenlerden birinin doğru olması yeterlidir. Ayrık önermeler ancak bunları meydana getiren bileşenlerin hepsinin birden yanlış oldugu halde yanlış sayılır.

Kaynaklar

* Vikipedi

matematiksel mantık

Türkçe matematiksel mantık kelimelerinin İngilizce karşılığı.
mathematical logic

Bu konuda henüz görüş yok.
Görüş/mesaj gerekli.
Markdown kullanılabilir.

Matematiksel mantık
2 yıl önce

Matematiksel mantık biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar...

Matematik, Felsefe, Fizik, mantık, Zeka, Problem
Bulanık Mantık
2 yıl önce

Bulanık mantık, bulanık eseme ya da puslu mantık, 1965 yılında Lütfü Aliasker Zade'nin yayınladığı bir makalenin sonucu oluşmuş bir mantık yapısıdır. Bulanık...

Bulanık Mantık, 1961, Küme, Lotfi Zadeh, Matematik, Taslak, Yapay zeka
Matematiksel tümevarım
2 yıl önce

doğru olduğunu göstermek üzere kullanılan bir matematiksel tanıtlama yöntemidir. Matematiksel mantık ve bilgisayar bilimlerinde kullanılan daha genel...

Matematiksel tümevarım, Bilgisayar Bilimi, Doğal sayılar, Matematiksel mantık, Matematiksel tanıt, İyi-sıralılık ilkesi, Domino etkisi, Yapısal tümevarım
Matematiksel ispat
6 yıl önce

aksiyomlar esas alınarak, doğru olduğunu gösterme yöntemidir. Matematiksel tanıtta mantık kullanılır ancak genellikle bir ölçüde doğal dilden de yararlanılır...

Matematiğin temelleri
2 yıl önce

kullanmayalım? Neden kullandığımız mantık kuralları yerine başka mantık kuralları kullanmayalım? Neden "doğru" matematiksel önermeler (örneğin aritmetik yasaları)...

Matematiğin temelleri, Matematiğin temelleri
Matematiksel gösterim
2 yıl önce

Bir matematiksel gösterim matematiksel nesne ve fikirlerin sembolik temsillerinin bir sistemdir. Matematiksel gösterimler fiziksel bilimler, mühendislik...

Mantık programlama
2 yıl önce

Mantıksal programlama kuramının tam anlamıyla hayata geçirme çalışmaları devam etmektedir. Prolog mantık programlama dili Tümevarımlı Mantık Programlama...

Mantık
2 yıl önce

verilen sembolik mantık büyük ölçüde bu kitaba dayanmaktadır. Lukasiewic üç değerli mantık sistemi geliştirmiş, Reicheinbach olasılık mantığı adıyla sonsuz...

Mantık, Mantık