La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación.