自然演绎

natural deduction