Inferência: diferenças entre revisões

Em [[Lógica]], '''Inferênciainferência''', emou '''ilação''' é operação intelectual mediante a qual se afirma a verdade de uma [[Lógicaproposição]], éem odecorrência atode ousua processoligação decom outras proposições já reconhecidas como verdadeiras. Consiste, portanto, em derivar conclusões lógicasa partir de [[premissa]]s conhecida conhecidas ou decididamente verdadeiras. A conclusão também é chamada de '''idiomática'''.

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.

Filósofos[[Aristóteles]] gregos definiramdefinu uma série de silogismos[[silogismo]]s, corrigir três inferências de peças, que podem ser usados ​​como blocos de construção para o raciocínio mais complexo. Começamos com o mais famoso de todos eles:

ProcessoO processo acima é chamado de dedutivo.

O leitor pode verificar que asAs [[premissa]]s e a conclusão são verdadeiras, mas a lógica segue junto com inferência:. Mas a verdade da conclusão nem sempre se 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 ada conclusão, mas sim a forma da inferência. Uma inferência pode ser válida, mesmo se as partes são falsosfalsas, e pode ser nulofalsa, mesmo se as peçaspartes são verdadeiras. Mas uma forma válida e com premissas verdadeiras sempre terá uma conclusão verdadeira.

considereConsidere o seguinte exemplo:

*A - Todos os frutos são doces. <br />

*B - A banana é uma fruta. <br />

*C - Portanto, a banana é doce. <br />

{{PortalPortal3|[[Portal:Lógica|Portal de Lógica]]}}