Mostraremos logo mais detalhes sobre o algoritmo e como ele é feito. A lógica de programação é fundamental na criação de um algoritmo, pois tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade.
Sua origem vem de Aristóteles (filósofo grego - 342 a.C) que sistematizou os conhecimentos existentes, elevando-os à categoria de ciência. Em sua obra chamada Organum ("ferramenta para o correto pensar"), estabeleceu princípios tão gerais e tão sólidos que até hoje são considerados válidos. Aristóteles se preocupava com as formas de raciocínio que, a partir de conhecimentos considerados verdadeiros, permitiam obter novos conhecimentos. A partir dos conhecimentos tidos como verdadeiros, caberia à Lógica de Programação a formulação de leis gerais de encadeamentos lógicos que levariam à descoberta de novas verdades. Essa forma de encadeamento é chamada, em Lógica de Programação, de Argumento.

Vale ressaltar que há uma grande diferença em argumentos validos e verdadeiros. Se numa frase as premissas estão bem específicas e de forma que as frases tenham alguma conclusão, não necessariamente o resultado é verdadeiro.

Um argumento é uma sequência de proposições que nada mais é que as sentenças afirmativas que podem ser verdadeiras ou falsas, na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão.

O objetivo de um argumento é justificar uma afirmação que se faz, ou dar as razões para certa conclusão obtida. Pode-se dizer que é uma reconstrução explícita do raciocino efetuado

É necessário expor todas as razões que levaram a conclusão lógica como forma de convencimento, ou seja, mostrar o fundamento do argumento.

Um tipo de silogismo às vezes aplicado à TI é chamado de "silogismo estatístico". Isso também é conhecido como silogismo proporcional ou inferência direta. Ele usa o raciocínio indutivo, no entanto, em vez do raciocínio dedutivo.De algumas maneiras fundamentais, uma lógica silogística pode ser aplicada a programas de computador. Nesse caso, um programa de computador poderia usar uma estrutura lógica silogística para determinar os resultados. Por exemplo, se todos os A são B e todos os B são C, portanto, todos os A são C. No entanto, alguns tipos de silogismos na lógica humana tentam fazer suposições dedutivas sobre os resultados. Estes seriam geralmente substituídos por resultados usados ​​na ciência da computação, que são amplamente predeterminados e estritamente lógicos. Em outros casos, um silogismo pode ser contrastado ou relacionado a uma série de instruções "se / então" usadas na programação para afetar resultados com base em casos lógicos.

Uma inferência inválida é chamada falácia.

Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional. Este, por sua vez, envolve os recursos necessários para encontrar soluções a partir da tecnologia.Para o uso dessa linguagem ser benéfica ao desenvolvimento das crianças e dos adolescentes na educação moderna, a escola precisa contar com uma boa metodologia.

Portanto, não basta ensinar números, códigos e ter uma sala de computação. É fundamental que a instituição de ensino envolva os alunos no uso daqueles conhecimentos para melhorar o seu dia a dia e estimular o aprendizado constante.

Nesse sentido, é necessário apostar na lógica computacional como uma forma de compor a rotina e enriquecer as atividades realizadas pelos estudantes. A seguir, veja algumas ótimas formas de aplicar esse conceito no ensino escolar.

Ainda que pareça algo muito específico, a lógica computacional desenvolve habilidades importantes em nosso cotidiano e trabalha com ferramentas já presentes em nossa vida, por exemplo, o computador e o celular. Dessa forma, possibilita aprender a resolver os problemas de maneira organizada e objetiva, sendo essencial ao bom desenvolvimento.