Tiene como objetivo estudiar los métodos derivados de la lógica formal con el fin de aplicarlos a una ciencia particular, la Ciencia Computacional. Cuando una disciplina se aplica a un área particular, es costumbre referirse a ella agregando al nombre de esa ciencia, el nombre del área de aplicación. Así, por ejemplo, cuando la estadística se aplica a la economía, a la administración o a la ingeniería se le llama a comúnmente (correcta o incorrectamente), "Estadística para Economistas", Estadística para Administración" o "Estadística para Ingenieros"; similarmente la lógica que se ha aplicado a la Ciencia Computacional se le ha llamado Lógica Computacional o Lógica Informática [CUENA]. En el primer caso, tal vez no este muy justificado decir estadística para ingenieros, administradores, economistas o agrónomos, ya que en todos esos casos se aplican, en general, los mismos conceptos; sin embargo en el caso de la Lógica Computacional o Lógica Informática, es diferente, ya que esta estudia aspectos que solo se presentan en situaciones computacionales; por ejemplo la especificación de programas de cómputo, la demostración automática de teoremas y la programación automática, surgen del desarrollo de procedimientos computacionales.
La Lógica Computacional es una disciplina que estudia la aplicación de la Lógica Formal para la representación computacional de argumentos, las técnicas de deducción automática o asistida por computadora, los fundamentos relacionados con validez y completez (completeness) de sistemas de proposiciones y, las aplicaciones de esas técnicas a las diferentes áreas de las Ciencias Computacionales en todas las etapas del desarrollo del software, es decir, especificación, diseño, construcción y verificación formal de programas.
