La lógica computacional es la aplicación de la lógica matemática a las ciencias de la computación.