La lógica es una ciencia formal, que forma parte de la filosofía y de las matemáticas. Se centra en el estudio de los procedimientos válidos y no válidos de pensamiento, es decir, en procesos como la demostración, la inferencia o la deducción, así como en conceptos como las falacias, las paradojas y la verdad.
