Le processus par lequel les conclusions sont tirés par déduction logique à partir de prémisses données.
Il processo attraverso il quale le conclusioni sono tratte per inferenza logica da premesse date.
O processo pelo qual as conclusões são extraídas por inferência lógica de determinadas premissas.
Proceso por el que se extraen conclusiones por inferencia lógica a partir de premisas dadas.