Este documento resume brevemente la lógica como la ciencia que estudia los principios de la demostración y la inferencia válida. Explica que la lógica se refiere al razonamiento y los argumentos cerrados, y cómo el análisis filosófico ha marcado el desarrollo de la lógica formal moderna. También menciona que expresiones como "lógica" se usan para referirse a pensamientos coherentes con un contexto o teoría.