La lógica es una rama de la filosofía y una rama de las matemáticas. Desde la perspectiva filosófica la lógica se dedica a estudiar el razonamiento e inferencia válida. Por otra parte existe un interés en estudiar propiedades matemáticas en objetos tales como lenguajes formales, sistemas de deducción y semánticas mediante el formalismo y rigor matemático. La lógica es una de las disciplinas científicas más antiguas que se tienen registro. Los primeros indicios de esta disciplina los encontramos en los trabajos de Aristóteles, quien manejaba el concepto de silogismos como mecanismo para derivar proposiciones de interés a partir de información dada. De esta manera primitiva, Aristóteles comienza lo que actualmente recibe el nombre de lógica clásica el cual sirve como pilar intelectual en el desarrollo del conocimiento humano.