2

It is a bit of strange that I haven't be trained on such a topic. It wouldn't influence my daily work but I would like to study some materials on my own.

So, dear fellows, you got any classic ref in your mind? I expect the material can cover logics commonly used in math proofs on a daily base.

Thank you in advance.

newbie
  • 3,441
  • As a start, you might consider the tutorial that comes with my DC Proof software. Download it at http://www.dcproof.com – Dan Christensen Oct 07 '12 at 04:03
  • @newbie: In case you're still interested in opinions on your question, Dan's website is not useful for actual mathematical work, and moreover has some bogus articles. – user21820 Jun 07 '22 at 17:25

1 Answers1

8

The deductive reasoning "commonly used in math proofs on a daily base" is regimented by classical first-order logic. So that's where to start.

If you asked me to suggest just one book for beginners at logic with some mathematical background, then I think I would nowadays recommend the particularly accessible and well-written Ian Chiswell and Wilfrid Hodges, Mathematical Logic (OUP 2007) as the best starting point.

But different people with different backgrounds will like different books. As an introductory guide to just some of what is on offer, you'll find an annotated Teach Yourself Logic reading list/study guide at http://www.logicmatters.net/tyl

Peter Smith
  • 54,743