Introduction to Logic

Propositional Logic

Howard Pospesel (Autor)

Buch | Softcover

259 Seiten

1997 | 3rd edition
Pearson (Verlag)
978-0-13-164997-2 (ISBN)

Infos

A clear, concise, accessible presentation of the principles of deductive logic. This text could be used in formal logic, deductive logic, or intro to logic as a the sole text or in conjugation with one of Pospsel's other texts.

Inhalt

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. Four 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. Solutions to Starred Exercises. Index. Proof Rules. Truth-Tree Rules.

Produkt-Details

• Erscheint lt. Verlag: 5.12.1997
• Sprache: englisch
• Maße: 152 x 228 mm
• Gewicht: 329 g
• Themenwelt: Geisteswissenschaften ► Philosophie ► Logik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 0-13-164997-3 / 0131649973
• ISBN-13: 978-0-13-164997-2 / 9780131649972
• Zustand: Neuware