Pembuktian melalui deduksi

Penalaran deduktif didukung oleh logika deduktif. Metode deduksi sifatnya pasti. Berikut ini adalah contoh logika deduksi:"Socrates pasti mati" adalah kesimpulan atau konsekuensi dari dua premis sebelumnya. Jika premis 1 dan premis 2 benar, maka kesimpulannya juga benar.