Saya mau tau Logika deduktif dari Pembuktian melalui deduksi

Penalaran deduktif didukung oleh logika deduktif. Metode deduksi sifatnya pasti. Berikut ini adalah contoh logika deduksi:

Premis 1 Semua manusia pasti mati

Premis 2 Socrates adalah manusia

"Socrates pasti mati" adalah kesimpulan atau konsekuensi dari dua premis sebelumnya. Jika premis 1 dan premis 2 benar, maka kesimpulannya juga benar.