O raciocínio lógico é um tipo de solução de problemas que envolve trabalhar através de um conjunto de regras que governam um cenário. Esse conjunto de regras ou etapas é chamado de algoritmo. O raciocínio lógico envolve testar diferentes conjuntos de etapas - ou algoritmos - para determinar qual sequência de regras leva à solução correta. Na prática, envolve o uso de dados dados para determinar ou deduzir outros fatos. Para raciocinar logicamente, você precisará tirar conclusões precisas com base em premissas identificadas. Formas comuns de raciocínio lógico incluem inferência transitiva (explorando a relação entre duas premissas dadas para chegar a uma conclusão) e raciocínio condicional (envolvendo uma proposição 'se... então...'). Essas estruturas são encontradas nos diferentes tipos de raciocínio lógico. Os três tipos de raciocínio lógico são: dedutivo, indutivo e abdutivo.
O raciocínio dedutivo começa apresentando premissas e relações, que podem ser seguidas para se chegar a uma conclusão sólida. Há uma certeza garantida envolvida no raciocínio dedutivo. Ele pega uma regra geral (ou regras) e as usa para chegar a uma conclusão específica que é sempre verdadeira.
O raciocínio indutivo tem um ponto de partida diferente. As observações são usadas para chegar a conclusões sobre as premissas e relações em jogo, que podem então ser usadas para tirar conclusões. Envolve começar com uma observação específica e chegar a uma conclusão geral. Esta conclusão tem menos certeza do que no raciocínio dedutivo.
O raciocínio abdutivo envolve uma observação incompleta (ou conjunto de observações) que são usadas para determinar a melhor previsão. Isso pode ser verdade, mas, em última análise, é a melhor suposição e está sujeita a imprecisões.