La lógica clásica fue estudiada y formalizada por Aristóteles y básicamente es la que usamos cotidianamente. Posteriormente Gottfried Leibniz dio los primeros pasos para construir una lógica simbólica como un modelo del razonamiento humano lo cual aún no se ha podido lograr. Después de muchos aportes de varios matemáticos, George Boole desarrolla un álgebra que lleva su nombre que permitió junto con la lógica formal el desarrollo de la electrónica y condujo a la aparición de los computadores en el mundo. De esta manera el estudio de los fundamentos de la lógica es importante en la formación del estudiante de Ingenierías de sistemas para comprender tanto el desarrollo físico de los computadores como la producción de software con el uso de principios lógicos.