La lógica es una ciencia formal y rama de la filosofía que estudia los principios de la demostración e inferencia válida. Se desarrollaron varios sistemas lógicos en el siglo XX que formalizan diferentes aspectos del lenguaje natural. Un sistema lógico consiste en símbolos primitivos, reglas de formación, axiomas, reglas de inferencia e interpretación formal.