Intro to Logic: Answers to Your Questions

  • Thread starter Thread starter mahmoud2011
  • Start date Start date
  • Tags Tags
    Intro Logic
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
2 replies · 3K views
Physics news on Phys.org
I looked at the other thread and it seems to me that you are likely needing to understand more about how to do proofs versus calculating rather than a book on formal / mathematical logic. The thread that you referenced points off to the "forall x" online text which is really a nice text on logic so that should tell you whether that's what you're looking for. On the other hand, I think that Beck and Geoghegan's "The Art of Proof - Basic Training for Deeper Mathematics" may be more in line with the kind of question that you were asking in the other thread.