I'm a beginner in logic, but I understand that the beauty of a deductive system is that you can reduce a proof to just symbol manipulation. Logic is "establishi

I'm a beginner in logic, but I understand that the beauty of a deductive system is that you can reduce a proof to just symbol manipulation. Logic is "establishing truth by calculation" ! You can assume that given so-and-so deduction rules, whatever I can derive from a set of axioms by applying them "makes sense" .. pretty cool !