La lógica estudia los principios de la demostración e inferencia válida. Tradicionalmente ha sido parte de la filosofía pero se ha vuelto más matemática. Aristóteles formalizó el sistema lógico y propuso que las leyes del razonamiento son vitales para la filosofía. La lógica proposicional analiza ciertos tipos de argumentos representando proposiciones y conectivas lógicas.