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.

Assim, você consegue avançar na solução sem se preocupar com aspectos que não serão úteis. O pensamento computacional, que utiliza a lógica como base, pode ser dividido em quatro etapas:

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.

A etapa do algoritmo é fortemente baseada na lógica, de forma ainda mais prática que as outras. Nesse momento, é preciso organizar uma série de passos interconectados por estruturas de controle, como as cláusulas “se-então”.

Por exemplo, “se acontecer X, então farei Y”. Nesse caso, existe uma estrutura condicional que indica que Y só será efetuado se X ocorrer.

Outra estrutura comum é a de repetição. Consiste em um controle do fluxo para garantir que uma instrução se repita em um loop até que uma condição seja atendida. Por exemplo, “tentar fazer X até que Y ocorra e permita seguir adiante no algoritmo”.

É possível formalizar essas estruturas e processos de uma forma que o computador compreenda. Assim, o sistema é capaz de seguir os passos e chegar a uma solução.