dedução

Dedução é um termo utilizado em várias áreas para indicar o ato de obter uma conclusão a partir de premissas ou de reduzir algo a uma forma mais simples. Na lógica e na matemática, dedução refere-se ao raciocínio inferencial pelo qual, a partir de axiomas, hipóteses ou teoremas já provados, se chega a uma conclusão que segue necessariamente das premissas. Um raciocínio dedutivo é válido se, e somente se, a conclusão não puder ser falsa quando as premissas são verdadeiras. A dedução contrasta com a indução, que generaliza a partir de casos observados, e com a abdução, que propõe a explicação mais plausível para um conjunto de fatos.

Na prática matemática, a dedução aparece na construção de provas: uma verdade é estabelecida por meio de sequências de passos dedutivos, cada passo justificado por regras formais. Em ciência da computação, linguagens formais e teoremas também dependem de deduções.

No contexto fiscal e contábil, dedução é o ato de subtrair determinados valores da base de cálculo para pagamento de impostos, ou de reduzir despesas antes de calcular o resultado tributável. Deduções legais costumam incluir dependentes, despesas com educação, saúde, juros de financiamentos e contribuições para a previdência. As regras variam conforme o país e o regime tributário.

Uso cotidiano: deduzir quer dizer inferir ou concluir com base em evidências. Também pode significar subtrair um valor de outro em um cálculo. Observação: os sentidos variam conforme o campo de aplicação.