Talk:Deduction

Perhaps the contents of natural deduction should be here.