Elementary Logic Natural Deduction