A lógica computacional pode ser entendida como a relação entre a lógica formal, mais tradicional, e a computação. Trata-se de um modo de pensar e estruturar ideias para escrever um software ou um algoritmo.

A lógica formal estuda como provar a veracidade de algum argumento e as relações entre diferentes ideias, ao passo que a computacional estuda como organizar instruções e criar um raciocínio baseado em pequenas etapas para chegar a uma solução.

Ambas estão ligadas ao pensamentos computacionais, que, por sua vez, não necessariamente está associado a contextos puramente tecnológicos. Essa estratégia tem como objetivo preparar alguém para resolver um problema, independentemente do seu escopo.