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.

No dia a dia, enfrentamos uma série de situações complexas, em que temos que organizar pensamentos e chegar a uma solução ordenada, sendo que o raciocínio lógico e o pensamento estruturado viabilizam essa etapa. Afinal, esses conceitos ajudam a separar o que é razoavelmente possível do que não faz sentido.

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.