内容简介
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.
关于退货规则：由于按需印刷商品版图书属于定制类商品，根据订单递交成功再安排印刷，因此不接受7天无理由退换货。您付款的同时，我们已安排下厂印刷。如有质量问题的商品，可以接受退货，但不接受换货。如果退货后依然需要此商品，自快递签收日起的5日内，可联系当当客服退货后再重新下单，并且保持出售时原状和收货单据的齐全。
关于到货时间：自按需印刷商品订单成功支付后的15个工作日，我们将完成印刷、装订、审核、发货等一系列按需出版流程。如遇国家法定节假日，则发货时间顺延。
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.
关于退货规则：由于按需印刷商品版图书属于定制类商品，根据订单递交成功再安排印刷，因此不接受7天无理由退换货。您付款的同时，我们已安排下厂印刷。如有质量问题的商品，可以接受退货，但不接受换货。如果退货后依然需要此商品，自快递签收日起的5日内，可联系当当客服退货后再重新下单，并且保持出售时原状和收货单据的齐全。
关于到货时间：自按需印刷商品订单成功支付后的15个工作日，我们将完成印刷、装订、审核、发货等一系列按需出版流程。如遇国家法定节假日，则发货时间顺延。