Pembuktian melalui deduksi

Contoh klasik dari penalaran deduktif, yang diberikan oleh Aristoteles, ialahUntuk pembahasan deduktif secara terinci seperti yang dipahami dalam filsafat, lihat Logika. Untuk pembahasan teknis tentang deduksi seperti yang dipahami dalam matematika, lihat logika matematika.