Introduction to Logic: Propositional Logic

Condition - Very Good

The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.

Introduction to Logic: Propositional Logic

• NEW - An accompanying computer tutorial program— PropLogic — 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 students on formula construction, symbolization, formal proofs, full and brief truth tables, and truth trees. Also provides additional practice exercises. Ex.___
• Tutors students on formula construction, symbolization, formal proofs, full and brief truth tables, and truth trees. Also provides additional practice exercises. Ex.___
• Content organized around natural-deduction formal-proof procedures, truth tables, and truth trees.
• Gradual presentation of logical statement connectives—One one per chapter. Shows students how to symbolize sentences containing the connective and how to use proof rules involving that connective before introducing additional connectives. Ex.___
• Shows students how to symbolize sentences containing the connective and how to use proof rules involving that connective before introducing additional connectives. Ex.___
• Examples of actual arguments—Similar to those students 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. Ex.___
• Increases students' awareness of the arguments they read and hear every day. Ex.___
• Extensive exercise sets—Throughout. Provides solutions to about one-quarter of the exercises (in an appendix). Provides ample opportunities for assignments and practice. Ex.___
• Provides ample opportunities for assignments and practice. Ex.___
• An accompanying computer tutorial program— PropLogic — 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 students on formula construction, symbolization, formal proofs, full and brief truth tables, and truth trees. Also provides additional practice exercises. Ex.___
• Tutors students on formula construction, symbolization, formal proofs, full and brief truth tables, and truth trees. Also provides additional practice exercises. Ex.___