Format Type: PDF, ePub, Mobi
Read Online: 916
Rather than teach mathematics and the structure of proofssimultaneously, this book first introduces logic as the foundationof proofs and then demonstrates how logic applies to mathematicaltopics. This method ensures that readers gain a firmunderstanding of how logic interacts with mathematics and empowersthem to solve more complex problems. The study of logic andapplications is used throughout to prepare readers for further workin proof writing. Readers are first introduced tomathematical proof-writing, and then the book provides anoverview of symbolic logic that includes two-column logicproofs. Readers are then transitioned to set theory andinduction, and applications of number theory, relations, functions,groups, and topology are provided to further aid incomprehension. Topical coverage includes propositional logic,predicate logic, set theory, mathematical induction, number theory,relations, functions, group theory, and topology.