Logic Primer

Allen, Colin,Hand, Michael

ISBN 10: 0262510650 / ISBN 13: 9780262510653

Verlag: Bradford Books, 1992

Beschreibung

This is a used book in good condition and may show some signs of use or wear . This is a used book in good condition and may show some signs of use or wear . Bestandsnummer des Verkäufers mon0001397009

Bibliografische Details

Titel: Logic Primer

Verlag: Bradford Books

Erscheinungsdatum: 1992

Einband: paperback

Zustand: Good

Über diesen Titel

Inhaltsangabe:

This text presents a self-contained introduction to logic suitable for majors and nonmajors, and can be covered entirely in a one-semester course. Natural deduction systems of sentential logic and of first-order logic, truth tables, and the basic ideas of model theory are presented without superfluous discussion. This allows the instructor to choose various ways of presenting the material. The text is organized into definitions, comments, examples, and exercises in a modern, visually helpful format. Comments are kept to a minimum so that definitions and examples are usually on the same page, making it easy for students to compare the two. In addition, there are over 500 exercises, with solutions to more than half of them provided in an appendix. In "Logic primer" the proofs are designed to be short and the rules of proof are stated in terms of denials of sentences rather than negations; this results in more intuitive rules that students learn more quickly. In addition, the authors' natural deduction systems track the assumptions on which each step in a proof depends.