Doğrudan Tanıtlama

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


Bu makale, online kullanıcı topluluğu tarafından oluşturulan ve düzenlenen özgür ansiklopedi projesi Wikipedia'nın Türkçe versiyonu Vikipedi'deki Doğrudan tanıtlama maddesinden kopyalanmıştır Bu makale, GNU Özgür Belgeleme Lisansı ilkeleri kapsamında özgürce kullanılabilirMatematik, sayma, ölçme, cisimlerin şekillerini tanımlama gibi temel işlemlerden ortaya çıkan ve yapı, düzen ve ilişkileri inceleyen bilim dalı Mantıksal irdeleme ve nicel hesaplamaları konu alan matematik, idealleştirme ve soyutlamalara dayanır