La lógica es una ciencia formal que tiene por objeto el estudio de las condiciones en las que un razonamiento puede ser considerado válido, mediante la determinación de las reglas de inferencia válidas.
