Pembuktian melalui deduksi itu apa sih?

Pembuktian melalui deduksi adalah sebuah jalan pemikiran yang menggunakan argumen-argumen deduktif untuk beralih dari premis-premis yang ada, yang dianggap benar, kepada kesimpulan-kesimpulan, yang mestinya benar apabila premis-premisnya benar.

Contoh klasik dari penalaran deduktif, yang diberikan oleh Aristoteles, ialah

Semua manusia fana (pasti akan mati). (premis mayor)

Sokrates adalah manusia. (premis minor)

Sokrates pasti (akan) mati. (kesimpulan)

Untuk pembahasan deduktif secara terinci seperti yang dipahami dalam filsafat, lihat Logika. Untuk pembahasan teknis tentang deduksi seperti yang dipahami dalam matematika, lihat logika matematika.

Penalaran deduktif sering kali dikontraskan dengan penalaran induktif, yang menggunakan sejumlah besar contoh partikulir lalu mengambil kesimpulan umum.