E a lógica de programação?

Como o raciocínio é algo abstrato e intangível, os seres humanos se utilizam da capacidade de expressá-lo através da palavra falada ou escrita que, por sua vez, se baseia em um determinado idioma e segue uma determinada gramática. Assim, embora um mesmo raciocínio possa ser expresso em qualquer um dos inúmeros idiomas existentes, continuará representando a mesma ideia.

Algo similar ocorre com a Lógica de Programação, que pode ser concebida pela mente treinada e é capaz de ser representada em qualquer uma das inúmeras linguagens de programação existentes. Nesse sentido, o significado da Lógica de Programação diz respeito ao uso correto das leis do pensamento e de processos de raciocínio e simbolização formais na programação de computadores, com vistas à racionalidade e ao desenvolvimento de técnicas que cooperem para a produção de soluções logicamente válidas e coerentes, capazes de resolver com qualidade os problemas a serem programados.