Introdução à lógica de programação

“Ela, a Lógica, lhe dará a clareza de pensamento, a habilidade de ver seu caminho através de um quebra-cabeça, o hábito de arranjar suas ideias numa forma acessível e ordenada e, mais valioso que tudo, o poder de detectar falácias e despedaçar os argumentos ilógicos e inconsistentes que você encontrará tão facilmente nos livros, nos jornais, na linguagem cotidiana e mesmo nos sermões e que tão facilmente enganam aqueles que nunca tiveram o trabalho de instruir-se nesta fascinante arte”

O trecho que você acabou de ler é do famoso escritor Lewis Carroll, conhecido por utilizar conceitos da lógica e da antilógica para criar toda a fantasia do clássico “Alice no País das Maravilhas”. Antes de abordarmos especificamente a Lógica de Programação, que tal fazermos uma reflexão sobre o significado da palavra Lógica? O uso corriqueiro dessa palavra está normalmente relacionado à coerência e à racionalidade e frequentemente a associamos apenas à matemática. Você pode relacioná-la com a "correção do pensamento", pois uma de suas preocupações é determinar quais operações são válidas e quais não são. Uma vez que a forma mais complexa do pensamento é o raciocínio, podemos concluir que a lógica estuda a correção do raciocínio.