O raciocínio lógico é uma forma de organização estruturada em raciocínios que nos permitem chegar a conclusões ou resolver problemas. Existem processos de indução, dedução e abdução. No pensamento indutivo, você pressupõe a partir de exemplos, mas não é conclusivo. No dedutivo, você deduz a partir de verificações das premissas – aqui citamos o famoso investigador Sherlock Holmes. No abdutivo, você introduz uma nova ideia, é uma lógica que gera inovação e criatividade.
O raciocínio lógico na programação permite programar um software pensando de maneira estruturada e prática, estabelecendo comandos claros e diretos para serem enviados ao computador.