![Introduction to Logic: Propositional Logic](https://d3525k1ryd2155.cloudfront.net/f/496/258/9780130258496.IN.0.m.jpg)
Introduction to Logic: Propositional Logic Paperback - 1999 - 3rd Edition
by Pospesel, Howard
- Used
- Acceptable
- Paperback
Description
Standard delivery: 10 to 14 days
Details
- Title Introduction to Logic: Propositional Logic
- Author Pospesel, Howard
- Binding Paperback
- Edition number 3rd
- Edition 3
- Condition Used - Acceptable
- Pages 288
- Volumes 1
- Language ENG
- Publisher Pearson, Upper Saddle River, NJ
- Date 10/27/1999 12:00:01
- Bookseller's Inventory # mon0001052079
- ISBN 9780130258496 / 0130258490
- Weight 0.85 lbs (0.39 kg)
- Dimensions 8.98 x 6 x 0.59 in (22.81 x 15.24 x 1.50 cm)
- Library of Congress subjects Logic, Symbolic and mathematical, Reasoning
- Library of Congress Catalog Number 99-47648
- Dewey Decimal Code 160
About Once Upon a Time Books Arkansas, United States
We are a family owned and operated, full-line, online bookstore. With our inventory of over 190,000 items, we aim to be your first stop on the internet for all of your used and out-of-print book buying needs.
From the rear cover
Designed to make logic interesting and accessible--"without sacrificing content or rigor"--this classic introduction to contemporary propositional logic explains the symbolization of English sentences and develops formal-proof, truth-table, and truth-tree techniques for evaluating arguments. An accompanying computer tutorial program, PropLogic, is available on CD-ROM in two versions: one version can be installed and run off a hard drive; one (identical) "portable" version can be run off the CD-ROM itself (allowing students/instructors flexibility on when/where they use the program). An appendix in the text describes program details. Tutors readers on formula construction, symbolization, formal proofs, full and brief truth tables, and truth trees. Also provides additional practice exercises. Content organized around natural-deduction formal-proof procedures, truth tables, and truth trees. Gradual presentation of logical statement connectives. Shows students how to symbolize sentences containing the connective and how to use proof rules involving that connective "before" introducing additional connectives. Examples of actual arguments similar to those readers encounter, and to which they can readily relate. Draws examples and exercises from newspapers, magazines, television, books, textbooks, term papers, posters, comic strips, television programs, films, records, and conversations. Increases students' awareness of the arguments they read and hear every day. Extensive exercise sets throughout provide solutions to about one-quarter of the exercises (in an appendix). Provides ample opportunities for assignments and practice.