Olmayana ergi yöntemi,
(p ise q) önermesinin doğru olduğunu göstermek
(q' ise p') önermesinin doğru olduğunu göstermeye denktir.
q' doğru iken p' nün doğru olması gerektiği gösterilir.
(p elde olan -yani doğru olduğu bilinen -
p' ise elde olmayandır - bilinenin olumsuzudur.)
...
Çelişki yöntemi,
(p ise q)' denk (p ve q') denkliğine dayanır.
p ile q' önermesinin çelişmesi
" (p ve q') denk 0 " demektir.
Bu da,
" (p ise q)' denk 0 " -----> " (p ise q) denk 1 " demektir.
...
"(kök2 irrasyoneldir.)
denk (En az bir (a,b) için a ve b aralarında asal doğal sayıdır) ise (kök2 "= değil" a/b dir.)"
Burada,
p: (En az bir (a,b) için a ve b aralarında asal doğal sayıdır.)
q: ( kök2 "= değil" a/b ) dir.
q': kök2 = a/b ----> 2 = a^2 / b^2 ----> a^2 = 2.b^2 ----> a = 2m ve b^2 = 2m ---> b = 2n
---> a ve b aralarında asal değil.
----> "a ve b aralarında asal değil." denk p'
(p ise q) denk (q' ise p')
Bu, olmayana ergi yöntemidir.
Kitabına uydurmak için
lafı uzattım.
Daha kısa ifadesi biliniyordur.
6 Ekim 2015 10:18 tarihinde S D. <sdeveci8@gmail.com> yazdı:
Olmayana ergi yöntemi ile çelişki yöntemini mantıksal olarak farkını biliyorum fakat, sormak istediğim bu farkı nasıl net söyleriz. Mesela kok2 yi ispat ederken kullandığımız rasyonel kabul edip çelişki elde etmemiz hangisine dahil
--
http://www.facebook.com/groups/358210690921074/
Matematik geometri bilgi paylaşım platformu.
Mesajlarınıza "KONU BAŞLIĞI" eklemeyi lütfen unutmayınız.
---
Bu e-postayı Google Grupları'ndaki "TMOZ" adlı gruba abone olduğunuz için aldınız.
Bu grubun aboneliğinden çıkmak ve bu gruptan artık e-posta almamak için tmoz+unsubscribe@googlegroups.com adresine e-posta gönderin.
Bu gruba kayıt göndermek için tmoz@googlegroups.com adresine e-posta gönderin.
Bu grubu http://groups.google.com/group/tmoz adresinde ziyaret edebilirsiniz.
Bu tartışmayı web'de görüntülemek için https://groups.google.com/d/msgid/tmoz/7e31d4b8-acaf-4dfd-9b97-b0e9c8ad4a4f%40googlegroups.com adresini ziyaret edin.
Daha fazla seçenek için, https://groups.google.com/d/optout adresiniz ziyaret edin.
.
http://www.facebook.com/groups/358210690921074/
Matematik geometri bilgi paylaşım platformu.
Mesajlarınıza "KONU BAŞLIĞI" eklemeyi lütfen unutmayınız.
---
Bu iletiyi Google Grupları'ndaki "TMOZ" grubuna abone olduğunuz için aldınız.
Bu grubun aboneliğinden çıkmak ve bu gruptan artık e-posta almamak için tmoz+unsubscribe@googlegroups.com adresine e-posta gönderin.
Bu gruba yayın göndermek için, tmoz@googlegroups.com adresine e-posta gönderin.
Bu grubu http://groups.google.com/group/tmoz adresinde ziyaret edebilirsiniz.
Bu tartışmayı web'de görüntülemek için https://groups.google.com/d/msgid/tmoz/CADf0OcMAC5myLqB%3DnAnY4JrYOUfki0P%3Dd9g5srMb%2BR9gc0Gb9w%40mail.gmail.com adresini ziyaret edin.
Daha fazla seçenek için https://groups.google.com/d/optout adresini ziyaret edin.
Hiç yorum yok:
Yorum Gönder