Derivation

Pronunciation

Meanings

Noun

the action of obtaining something from a source or origin.

the derivation of scientific laws from observation

deriving, induction, deduction, deducing, inferring, inference, gathering, gleaning, drawing out, extraction, eliciting, eduction


the set of stages that link a sentence in a natural language to its underlying logical form.


the process of deducing a new formula, theorem, etc., from previously accepted statements.