3 ms·
I wish I could get a foothold on natural-deduction. I feel that it would be great to have an intuitive understanding, but at the moment all I can see is symboli
by sordina 14y ago
I wish I could get a foothold on natural-deduction. I feel that it would be great to have an intuitive understanding, but at the moment all I can see is symbolic manipulation.
- currywurst 14y agoI'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 !