Önermeler Mantığı Gönderileri
Önermeler Mantığı kitaplarını, Önermeler Mantığı sözleri ve alıntılarını, Önermeler Mantığı yazarlarını, Önermeler Mantığı yorumları ve incelemelerini 1000Kitap'ta bulabilirsiniz.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.
Sayfa 10Kitabı yarım bıraktı
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 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...
Matematik dilinde hiç düşünmeden uygulanan yöntemlere algoritma denir.
Sayfa 134 - Nesin yayınlarıKitabı okudu
Matematik, zorunlu olarak aksiyomatik bir uğraş dalıdır.
Aksiyom, doğruluğu tartışmasız kabul edilen olgu (daha doğrusu önerme ya da tümce) anlamına gelir. Matematikçi aksiyomlardan! yola çıkarak yeni teoremler elde eder. Nasıl yoktan bir şey var edemezsek, doğruluğunu kabul ettiğimiz tümceler olmadan yeni “doğru” tümceler (yani teoremler) elde edemeyiz, yeni bir teorem elde etmek için mutlaka bazı olguları doğru kabul etmeliyiz.
Sayfa 98 - Nesin yayınlarıKitabı okudu
“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
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...
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
Ö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...
Sayfa 24Kitabı okudu
