La lógica es la ciencia que estudia la validez de las inferencias. Se ocupa de determinar si la conclusión de un argumento se sigue necesariamente de las premisas, independientemente de si sus proposiciones son verdaderas o falsas. El objetivo central de la lógica es comprender qué hace que un argumento sea válido o inválido a través del análisis formal de su estructura.