bottom-up reasoning

Індуктивне (логічне) доведення

доведення знизу вгору

індуктивне доведення