luonnollinen päättely

Noun

 * 1)  natural deduction