Logic in Elementary Mathematics

Logic in Elementary Mathematics

$36.99 AUD $12.00 AUD

Availability: in stock at our Tullamarine warehouse

Condition: SECONDHAND

This is a secondhand book. The jacket image is indicative only and does not represent the condition of this copy. For information about the condition of this book you can email us.

This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic. Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and absolute value, and other applications. Numerous examples and exercises aid in the mastery of the language of logic.

Author: Robert M. Exner
Format: Paperback, 288 pages, 136mm x 216mm, 318 g
Published: 2011, Dover Publications Inc., United States
Genre: Science & Mathematics: Textbooks & Study Guides

Reviews

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
Description
This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic. Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and absolute value, and other applications. Numerous examples and exercises aid in the mastery of the language of logic.