Introduction to Logic : Propositional Logic by Howard Pospesel (1999, CD-ROM / Trade Paperback)

LeeBeeBooks (79)
89.9% positive Feedback
Price:
US $84.44
Approximately£62.81
+ $18.67 postage
Estimated delivery Wed, 27 Aug - Fri, 5 Sep
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
New
Introduction to Logic: Propositional Logic

About this product

Product Identifiers

PublisherPearson Education
ISBN-100130258490
ISBN-139780130258496
eBay Product ID (ePID)1754762

Product Key Features

Number of Pages288 Pages
LanguageEnglish
Publication NameIntroduction to Logic : Propositional Logic
Publication Year1999
SubjectGeneral, Logic
FeaturesRevised
TypeTextbook
Subject AreaMathematics, Philosophy
AuthorHoward Pospesel
FormatCD-ROM / Trade Paperback

Dimensions

Item Height0.8 in
Item Weight15.2 Oz
Item Length8.8 in
Item Width5.9 in

Additional Product Features

Edition Number3
Intended AudienceCollege Audience
LCCN99-047648
Dewey Edition21
IllustratedYes
Dewey Decimal160
Table Of Content1. Logic. Introduction. Key Terms. Exercises. 2. If. Compound Statements. Symbolizing Conditionals. Arrow Out. Exercises. 3. And. Symbolizing Conjunctions. Ampersand In. Ampersand Out. Exercises. 4. If (Again). Symbolizing Puzzling Conditionals. Arrow In. Exercises. 5. Not. Symbolizing Negations. Dash In. Dash Out. Exercises. 6. Iff. Symbolizing Biconditionals. Double Arrow In and Out. Exercises. 7. Or. Symbolizing Disjunctions. Wedge In. Wedge Out. Exercises. 8. Résumé. Summary. Proof Strategy. Definitions. Exercises. 9. Derived Rules. Derived Rules 1. Exercises. Derived Rules 2. Exercises. 10. Truth Tables. Full Truth Tables. Exercises. Brief Truth Tables. Exercises. 11. Truth Trees. Constructing Trees. Testing Arguments. Exercises. 12. Statements. Logical Truths. Contradictions. Contingent Statements. Exercises. 13. Logical Relations. Entailment. Logical Equivalence. Exercises. 14. Natural Arguments. Argument Identification. Formalization. Evaluation. Exercises. Appendix 1. Metatheory: Soundness and Completeness of the System PL. Appendix 2. Is Propositional Logic Reliable? Appendix 3. Alternative Symbols. Appendix 4. One-Sided Truth Trees. Appendix 5. Using Proplogic. Appendix 6. Solutions to Starred Exercises. Index. Proof Rules. Truth-Tree Rules. License Agreement.
Edition DescriptionRevised edition
SynopsisFor freshman/sophomore-level courses on Logic, Introduction to Logic, and Deductive Logic. 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., 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., 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. KEY TOPICS: 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., For freshman/sophomore-level courses on Logic, Introduction to Logic, and Deductive Logic. 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.
LC Classification NumberBC181.P64 2000

All listings for this product

Buy it now
Any condition
New
Pre-owned
No ratings or reviews yet
Be the first to write a review