Doğrudan tanıtlama

Vikipedi, özgür ansiklopedi

Matematikte doğrudan tanıtlama, verilen bir önermenin varolan matematiksel teoremlerden yararlanarak doğru olduğunu gösterme işlemidir.