Em
Lógica,
inferência ou
ilação é operação intelectual mediante a qual se afirma a verdade de uma
proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras. Consiste, portanto, em derivar conclusões a partir de
premissas conhecidas ou decididamente verdadeiras. A conclusão também é chamada de
idiomática.