自然演绎系统

natural deduction system