///
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. O pensamento computacional, que utiliza a lógica como base, pode ser dividido em quatro etapas: