La lógica es la disciplina que estudia los métodos de formalización del conocimiento humano. Esta trata de los métodos, reglas, técnicas y formas de razonamiento que nos ayudan a determinar la validez de un argumento.
Al célebre filosofo griego Aristóteles es a quien se le considera el padre de la lógica, pues fue quien desarrolló la teoría del conocimiento, que permite establecer mecanismos de éste, y la base de esta sustentación para ser verdadero.
En el siglo XIX el matemático George Boole, basado en la lógica, crea la lógica matemática.
El lenguaje formal de la lógica proposicional está formado por dos elementos:
+ Proposiciones + Conectivos lógicos
