Inferência: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 3:
== Definição ==
O processo pelo qual uma conclusão é inferida a partir de múltiplas observações é chamado processo dedutivo ou indutivo, dependendo do contexto. A conclusão pode ser correta , incorreta, correta dentro de um certo grau de precisão, ou correta em certas situações. Conclusões inferidas a partir de observações múltiplas podem ser testadas por observações adicionais.
=== Exemplos de Inferência ===
Linha 12:
* Sócrates é um homem
* Portanto, Sócrates é mortal.
Processo acima é chamado de dedutivo.
O leitor pode verificar que as [[premissa]]s e a conclusão são verdadeiras, mas a lógica segue junto com inferência: a verdade da conclusão segue da verdade das premissas? A validade de uma inferência depende da forma da inferência. Isto é, a palavra "válido" não se refere à verdade das premissas ou a conclusão, mas sim a forma da inferência. Uma inferência pode ser válida, mesmo se as partes são falsos, e pode ser nulo, mesmo se as peças são verdadeiras. Mas uma forma válida e com premissas verdadeiras sempre terá uma conclusão verdadeira.
| |||