natural deduction en · NOUN
Meanings
- (uncountable) A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems.
Translations (1)
fi luonnollinen päättely (Translations)