Ayyıldız2 | 2008 TR Yapısı • 1-99 Orta Emek Destan • Oto Avsız • 10 Temmuz 21:00 HEMEN TIKLA!
Matematikte doğrudan tanıtlama, verilen bir önermenin varolan matematiksel teoremlerden yararlanarak doğru olduğunu gösterme işlemidir.
Bize verilen bilgileri ve daha önceden kabul ettiğimiz aksiyomları ya da önceden ispat etmiş olduğumuz eşitlikleri kullanarak doğrudan sonuca gideriz. En çok kullanılan ispat yöntemidir diyebiliriz.
Belirtilen şartlar "p" olsun, bu şartlar altında doğru olacağı iddia edilen teorem "q" olsun. p-->q olduğunu ispatlamamız gerekir. Örnek verelim.
İddia1: 4'e tam bölünebilen bir sayı ile 2'ye tam bölünemeyen iki sayının toplamı tektir.
İspat1: 4 ile tam bölünebilen sayı "a" olsun. 2 ile tam bölünemeyen sayı "b" olsun. Öyle x ve y tamsayıları vardır ki a=4x b=2y+1 sağlanır. (2x+y) = p olsun.
Bize verilen bilgileri ve daha önceden kabul ettiğimiz aksiyomları ya da önceden ispat etmiş olduğumuz eşitlikleri kullanarak doğrudan sonuca gideriz. En çok kullanılan ispat yöntemidir diyebiliriz.
Belirtilen şartlar "p" olsun, bu şartlar altında doğru olacağı iddia edilen teorem "q" olsun. p-->q olduğunu ispatlamamız gerekir. Örnek verelim.
İddia1: 4'e tam bölünebilen bir sayı ile 2'ye tam bölünemeyen iki sayının toplamı tektir.
İspat1: 4 ile tam bölünebilen sayı "a" olsun. 2 ile tam bölünemeyen sayı "b" olsun. Öyle x ve y tamsayıları vardır ki a=4x b=2y+1 sağlanır. (2x+y) = p olsun.
