La historia de la lógica se remonta a la Antigua Grecia con Aristóteles, quien fue el primero en formalizar el sistema lógico en su obra Organon.[9]     En el siglo XVII, Gottfried Wilhelm Leibniz afirmó la posible existencia de algo equivalente a una lógica formal completa para describir el razonamiento y desarrolló sus propias ideas para mejorarla.[9]     Para el siglo XIX, George Boole crea el álgebra booleana, la cual marca los fundamentos de la aritmética computacional moderna.[9]