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 pensamento computacional, 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.

Essa separação em fases ajuda a pessoa a organizar suas ações e seu esforço, bem como o tempo para a resolução de um problema. Desse modo, é possível alcançar a eficiência e conseguir resultados mais claros.