matematiksel mantık

[Misafir]

Ç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ığı [değiştir]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 [değiştir]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.
Bir gün 24 saattir.

Mantıksal bağlar kullanarak basit önermelerden başka önermeler kurulabilir, ki bunlara “bileşik önermeler” denir.Önerme matematikte kesin bir hüküm bildiren ifadelere denir.

Olumsuzu [değiştir]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