Doğrudan tanıtlama
Matematikte doğrudan tanıtlama, verilen bir önermenin var olan 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.