Inductive

Relacionado a um método de raciocínio lógico no qual uma conclusão geral é derivada de um conjunto de observações específicas. Em ciência da computação, provas por indução são comuns.