Pembuktian melalui deduksi

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.