Akış
Ara
Ne Okusam?
Giriş Yap
Kaydol

Matematiğe Giriş 1

Önermeler Mantığı

Ali Nesin

Önermeler Mantığı Sözleri ve Alıntıları

Önermeler Mantığı sözleri ve alıntılarını, Önermeler Mantığı kitap alıntılarını, Önermeler Mantığı en etkileyici cümleleri ve paragragları 1000Kitap'ta bulabilirsiniz.
Bir akşam yemeğinde, Bertrand Russell'a yanlış bir önermeden nasıl doğru bir önerme çıkarılacağı sorulur. - Örneğin, der soruyu soran muzip, eğer 0=1 ise Papa olduğunuzu kanıtlayabilir misiniz? Bertrand Russell omuz silkerek, - Bundan kolay ne var, der. Eğer 0=1 ise 1=2 olur. Çünkü, 1=1 eşitliğiyle 0=1 eşitliğini toplarsak, 1=2 eşitliğini buluruz: ... - Demek 2, 1'e eşitmiş. Şimdi Papa'yla beni boş bir odaya koyun. Odada kaç kişi var? - İki kişi elbette! diye yanıtlar soruyu soran. - Ama iki bire eşit. Demek ki odada bir kişi var. Papa'yla ben... Yani ben Papa'yım...
Sayfa 10
Matematik dilinde hiç düşünmeden uygulanan yöntemlere algoritma denir.
Sayfa 134 - Nesin yayınlarıKitabı okudu
Reklam
Koşul Önermeleri
Bir akşam yemeğinde, Bertrand Russel'a yanlış bir önermeden nasıl doğru bir önerme çıkarılacağı sorulur. - Örneğin, der soruyu soran muzip, eğer 0=1 ise Papa olduğunuzu kanıtlayabilir misiniz? Bertrand Russell omuz silkerek, - Bundan kolay ne var, der. Eğer 0=1 ise 1=2 olur. Çünkü, 1=1 eşitliğiyle 0=1 eşitliğini toplarsak, 1=2 eşitliğini buluruz: 1=1 0=1 +____ 1=2 Demek ki 2, 1’e eşitmiş. Şimdi Papa’yla beni boş bir odaya koyun. Odada kaç kişi var? - İki kişi elbette! diye yanıtlar soruyu soran. - Ama iki bire eşit. Demek ki odada bir kişi var. Papa’yla ben... Yani ben Papa’yım... Bu açıklamalar aslında p yanlış olduğunda, p⇒q önermesinin doğru olması gerektiğini göstermiyor, yalnızca doğru olabileceğini gösteriyor.
Matematik, zorunlu olarak aksiyomatik bir uğraş dalıdır. Aksiyom, doğruluğu tartışmasız kabul edilen olgu (daha doğru­su önerme ya da tümce) anlamına gelir. Matematikçi aksiyom­lardan! yola çıkarak yeni teoremler elde eder. Nasıl yoktan bir şey var edemezsek, doğruluğunu kabul ettiğimiz tümceler olma­dan yeni “doğru” tümceler (yani teoremler) elde edemeyiz, yeni bir teorem elde etmek için mutlaka bazı olguları doğru kabul et­meliyiz.
Sayfa 98 - Nesin yayınlarıKitabı okudu
Papa kim?
Bir akşam yemeğinde, Bertrand Russel'a yanlış bir önerme­'den nasıl doğru bir önerme çıkarılacağı sorulur. - Örneğin, der soruyu soran muzip, eğer 0 = 1 ise Papa ol­duğunuzu kanıtlayabilir misiniz? Bertrand Russell omuz silkerek, - Bundan kolay ne var, der. Eğer 0 = 1 ise 1 = 2 olur. Çünkü, 1 = 1 eşitliğiyle 0 = 1 eşitliğini toplarsak, 1=2 eşitliğini buluruz: Demek ki 2, 1’e eşitmiş. Şimdi Papa’yla beni boş bir odaya koyun. Odada kaç kişi var? - İki kişi elbette! diye yanıtlar soruyu soran. - Ama iki bire eşit. Demek ki odada bir kişi var. Papa’yla ben... Yani ben Papa’yım...
“Her erkek askere gider” önermesi, mantıksal olarak kadınlar için bir şey söylememektedir. Öte yandan hukukta bu böyle de­ ğildir. Eğer yasada “her erkek askere gider” yazıyorsa, bundan kadınların askere gitmedikleri çıkar.
Sayfa 13 - Nesin yayınlarıKitabı okudu
Reklam
Bir akşam yemeğinde, Bertrand Russell'a yanlış bir önermeden nasıl doğru bir önerme çıkarılacağı sorulur. - Örneğin, der soruyu soran muzip, eğer 0 = 1 ise Papa olduğunuzu kanıtlayabilir misiniz? Bertrand Russell omuz silkerek, - Bundan kolay ne var, der. Eğer 0 = 1 ise 1 = 2 olur. Çünkü, 1 = 1 eşitliğiyle 0 = 1 eşitliğini toplarsak, 1 = 2 eşitliğini buluruz: Demek ki 2, 1 ’e eşitmiş. Şimdi Papa’yla beni boş bir odaya koyun. Odada kaç kişi var? - İki kişi elbette! diye yanıtlar soruyu soran. - Ama iki bire eşit. Demek ki odada bir kişi var. Papa’yla ben... Yani ben Papa’yım...
Örneğin, der soruyu soran muzip, eğer 0=1 ise Papa olduğunuzu kanıtlayabilir misiniz? Bertrand Russel omuz silkerek: - Bundan kolay ne var, der. Eğer 0=1 ise 1=2'dir. Çünkü, 1=1 eşitliğiyle 0=1 eşitliğini toplarsak, 1=2 eşitliğini buluruz. Demek ki 2, 1'e eşitmiş. Şimdi Papa'yla beni boş bir odaya koyun. Odada kaç kişi var? -İki kişi elbette! diye yanıtlar soruyu soran. - Ama iki bire eşit. Demek ki odada bir kişi var. Papayla ben... Yani ben Papa'yım...