Penalaran logis adalah kemampuan untuk menarik kesimpulan yang disadari dan dapat dibuktikan dari serangkaian premis. Ini dilakukan dengan menerapkan pengetahuan kita, tanpa menggunakan pengalaman pribadi kita.

Itu dapat mengembalikan hasil yang valid (benar) atau salah (salah). Ini karena bahkan penalaran yang buruk juga merupakan penalaran yang mungkin, meskipun dari sudut pandang logika, penalaran yang salah disebut fallacy.

Jenis penalaran logis tertentu adalah matematika, umumnya dari jenis formal, di mana aturan dan prosedur dari serangkaian hubungan antara angka, set, representasi atau angka diikuti, untuk menetapkan aksioma, teorema, atau prosedur matematika.

Penalaran matematis tidak pernah beralih ke pengalaman atau subjektivitas, tetapi ke objektivitas yang paling murni dan paling logis. Dengan demikian, operasi seperti 2 + 2 akan selalu memiliki hasil yang sama terlepas dari siapa yang melakukannya, di mana atau apa pengalaman mereka sebelumnya. Untuk ini, angka dan tanda matematika digunakan.