Propositional logic : introduction to logic (Book, 2000) [WorldCat.org]
skip to content
Propositional logic : introduction to logic Preview this item
ClosePreview this item
Checking...

Propositional logic : introduction to logic

Author: Howard Pospesel; William G Lycan
Publisher: Upper Saddle River, NJ : Prentice Hall, 2000.
Edition/Format:   Print book : English : Rev. 3rd edView all editions and formats
Summary:

An introduction to propositional logic (specifically, proofs, truth tables, and truth trees) that uses examples culled from newspapers, magazines, television, etc. in an attempt to show students how  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Howard Pospesel; William G Lycan
ISBN: 0130258490 9780130258496
OCLC Number: 897065116
Notes: Accompanying computer disc contains Version 1.0 of PropLogic by Howard Pospesel and Mark Pospesel.
Literaturangaben.
Description: XII, 273 Seiten : Illustrationen + 1 CD-ROM
Contents: 1. 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. Resume. 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.
Responsibility: Howard Pospesel ; with an appendix on metatheory by William G. Lycan.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.