Inferensi adalah deduksi.

Inferensi adalah deduksi: penalaran di mana kesimpulan non-eksplisit ditarik dari serangkaian premis, sehingga mengarah ke hasil baru. Semua kesimpulan didasarkan pada evaluasi mental, di mana berbagai unsur dari premis yang dievaluasi secara abstrak dikumpulkan dan implikasi logis ditarik di antara mereka dan kesimpulan yang ditentukan.

Contoh tradisional inferensi atau deduksi adalah kesimpulan langsung dari logika formal, seperti kasus berikut:

Jika A = C dan B = C, adalah mungkin untuk menyimpulkan (menyimpulkan) bahwa A = B, sebuah kesimpulan baru yang mengikuti dari premis.