| Tüketerek tanıtlama | | Tüketerek tanıtlama veya kaba kuvvet yöntemi ya da durum çözümlemesi olarak bilinen yöntem, tanıtlanacak önermenin sonlu sayıda duruma bölünerek her durumun ayrı ayrı tanıtlandığı bir matematiksel tanıt yoludur. Tüketerek tanıtlama ... |
| Doğrudan tanıtlama | | 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 ... | |
