Em sentido figurado, a palavra lógica está relacionada com um maneira específica de raciocinar, de forma acertada. Por exemplo: Isso nunca vai funcionar! O teu plano não tem lógica nenhuma!

Os problemas ou jogos de lógica são atividades onde um indivíduo tem que usar um raciocínio lógico para resolver o problema.

Inferir é deduzir um resultado, por lógica, com base na interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.

Exemplo: Se eu tiver dinheiro, irei viajar. Se eu for viajar, ficarei feliz. Portanto, se eu tiver dinheiro, ficarei feliz.

O silogismo é um modelo de raciocínio baseado na ideia da dedução a partir de duas premissas, ou seja, é um tipo de inferência.

A palavra inferência tem origem do latim inferentia.

A inferência causal acontece ao se estabelecer uma relação de causalidade (causa e efeito) entre fatos, a partir da observação de acontecimentos.

Exemplo: Está chovendo. Depois da chuva vem o sol. Então, o sol deve aparecer logo.

Regras de inferência

As regras de inferência são métodos usados para fazer uma dedução e chegar a uma conclusão, a partir de uma ou mais premissas conhecidas. São usados os argumentos básicos (premissas) para se chegar a um valor (conclusão).

Exemplos

Nesse caso X > 5 = P e X < 1 = P são as premissas e X > 5 = X < 1 é a conclusão.