natural deduction

Мат. естественный вывод