| matematiksel mantık | |
|
|
Yazar | Mesaj |
---|
bRc-_ Moderatör * R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 50 Kayıt tarihi : 29/11/08
| Konu: matematiksel mantık C.tesi Kas. 29, 2008 9:40 pm | |
| Ç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.Ç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ı. 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 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.
Bir hafta 7 gün'dür. Bir hafta yedigün degildir.
Birleşim [değiştir]İ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.” değili A' olarak gösterilir
Ayrılım [değiştir]İ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 [değiştir]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.” Ancak ve Ancak
Ancak ve Ancak 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 [değiştir]Mantıksal bağlar aşağıdaki sembollerle gösterilir:
: değil : ve : veya : eğer-ise : eğer ancak-ise
[img] | |
|
| |
kardelen Admin ~ R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 280 Kayıt tarihi : 29/11/08 Yaş : 29
| Konu: Geri: matematiksel mantık Paz Kas. 30, 2008 11:18 am | |
| paylaşım için teşeküürler | |
|
| |
bRc-_ Moderatör * R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 50 Kayıt tarihi : 29/11/08
| Konu: Geri: matematiksel mantık Çarş. Ara. 03, 2008 6:51 pm | |
| birşey değil canım :D | |
|
| |
iLKaY R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 124 Kayıt tarihi : 30/11/08 Yaş : 30 Nerden : EyüP/İssT
| Konu: Geri: matematiksel mantık Cuma Ara. 05, 2008 10:36 pm | |
| Matematiğim berbattır.Ama matematik bi gerçekk..inkar edilemez.Yinede seviyoRuM.. | |
|
| |
Büşra Moderatör * R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 184 Kayıt tarihi : 29/11/08 Yaş : 29 Nerden : İstanbul
| Konu: Geri: matematiksel mantık Cuma Ara. 05, 2008 10:43 pm | |
| Matematik .. çok severim | |
|
| |
LoLoLoLo
Mesaj Sayısı : 126 Kayıt tarihi : 06/12/08 Yaş : 30 Nerden : TopCulaR/İST
| Konu: Geri: matematiksel mantık C.tesi Ara. 06, 2008 10:02 pm | |
| Matematık Hocası İYİ Anlatıyo AMA Gercekten İgrenc espırıler yapıyo :S[img][/img] | |
|
| |
kardelen Admin ~ R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 280 Kayıt tarihi : 29/11/08 Yaş : 29
| Konu: Geri: matematiksel mantık Paz Ara. 07, 2008 12:01 am | |
| | |
|
| |
Büşra Moderatör * R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 184 Kayıt tarihi : 29/11/08 Yaş : 29 Nerden : İstanbul
| Konu: Geri: matematiksel mantık Paz Ara. 07, 2008 10:17 am | |
| - LoLoLoLo demiş ki:
- Matematık Hocası İYİ Anlatıyo AMA Gercekten İgrenc espırıler yapıyo :S[img][/img]
Hüseyin hoca mı giriyo matematiğinize | |
|
| |
bRc-_ Moderatör * R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 50 Kayıt tarihi : 29/11/08
| |
| |
kardelen Admin ~ R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 280 Kayıt tarihi : 29/11/08 Yaş : 29
| Konu: Geri: matematiksel mantık Paz Ara. 07, 2008 8:52 pm | |
| turgay hocaylLLaaa evet ( : | |
|
| |
LoLoLoLo
Mesaj Sayısı : 126 Kayıt tarihi : 06/12/08 Yaş : 30 Nerden : TopCulaR/İST
| |
| |
Büşra Moderatör * R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 184 Kayıt tarihi : 29/11/08 Yaş : 29 Nerden : İstanbul
| Konu: Geri: matematiksel mantık Salı Ara. 09, 2008 10:13 pm | |
| - LoLoLoLo demiş ki:
- Büşra demiş ki:
- LoLoLoLo demiş ki:
- Matematık Hocası İYİ Anlatıyo AMA Gercekten İgrenc espırıler yapıyo :S[img][/img]
Hüseyin hoca mı giriyo matematiğinize Adını Bılmıyorum :S Ama İgrenc Espırı Yapıyo Gözlüklü bir adammı ? Odur kesin ya Gerçekten öyle :D | |
|
| |
LoLoLoLo
Mesaj Sayısı : 126 Kayıt tarihi : 06/12/08 Yaş : 30 Nerden : TopCulaR/İST
| Konu: Geri: matematiksel mantık Salı Ara. 09, 2008 10:24 pm | |
| Yok Heralde Adı Yusuf Mune | |
|
| |
Büşra Moderatör * R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 184 Kayıt tarihi : 29/11/08 Yaş : 29 Nerden : İstanbul
| Konu: Geri: matematiksel mantık Salı Ara. 09, 2008 10:26 pm | |
| Hımmm.Onu bilmiyorum ama bizimki kadar olamaz(: | |
|
| |
LoLoLoLo
Mesaj Sayısı : 126 Kayıt tarihi : 06/12/08 Yaş : 30 Nerden : TopCulaR/İST
| Konu: Geri: matematiksel mantık Salı Ara. 09, 2008 10:27 pm | |
| Bnc O cumlenı Gerı al O Hocayı derste Espırı Yapmaya Calısırken Gorsen Kulagına Pamuk Tıkamak Yada Kafasına bı sey fırlatmak istersın | |
|
| |
Büşra Moderatör * R.A.L - 9. Sınıf Öğrencisi
Mesaj Sayısı : 184 Kayıt tarihi : 29/11/08 Yaş : 29 Nerden : İstanbul
| Konu: Geri: matematiksel mantık Salı Ara. 09, 2008 10:34 pm | |
| | |
|
| |
LoLoLoLo
Mesaj Sayısı : 126 Kayıt tarihi : 06/12/08 Yaş : 30 Nerden : TopCulaR/İST
| Konu: Geri: matematiksel mantık Salı Ara. 09, 2008 10:35 pm | |
| | |
|
| |
| matematiksel mantık | |
|