# Logic

## Edition: 1999

### Authors: Paul Tomassi

List price: \$49.95 Buy it from \$28.31
30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

### Description:

This text aims to come to grips with the complexities of this subject. It includes exercises, summary boxes of key points and illustrations of all formal methods.
Used Starting from \$32.72
what's this?
Rush Rewards U
You have reached 400 XP and carrot coins. That is the daily max!
Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

SQL Online content \$4.95 \$1.99
MS Excel® 2010 Online content \$4.95 \$1.99
MS Word® 2010 Online content \$4.95 \$1.99
MS PowerPoint® 2010 Online content \$4.95 \$1.99
Customers also bought

### Book details

List price: \$49.95
Publisher: Routledge
Publication date: 3/19/1999
Binding: Paperback
Pages: 432
Size: 7.00" wide x 9.75" long x 1.25" tall
Weight: 1.804
Language: English

 List of Figures Preface Acknowledgements How to Think Logically Validity and Soundness Deduction and Induction The Hardness of the Logical 'Must' Formal Logic and Formal Validity Identifying Logical Form Invalidity The Value of Formal Logic A Brief Note on the History of Formal Logic How to Prove that You Can Argue Logically #1 A Formal Language for Formal Logic The Formal Language PL Arguments and Sequents Proof and the Rules of Natural Deduction Defining: 'Proof-in-PL' Conditionals 1: MP Conditionals 2: CP Augmentation: Conditional Proof for Exam Purposes Theorems The Biconditional Entailment and Material Implication How to Prove that You Can Argue Logically #2 Conditionals Again Conditionals, Negation and Double Negation Introducing Disjunction vElimination More on vElimination Arguing Logically for Exam Purposes: How to Construct Formal Proofs Reductio Ad Absurdum The Golden Rule Completed A Final Note on Rules of Inference for PL Defining 'Formula of PL': Syntax, Structure and Recursive Definition Examination 1 in Formal Logic Formal Logic and Formal Semantics #1 Syntax and Semantics The Principle of Bivalence Truth-Functionality Truth-Functions, Truth-Tables and the Logical Connectives Constructing Truth-Tables Tautologous, Inconsistent and Contingent Formulas in PL Semantic Consequence Guide to Further Reading Truth-Tables Again: Four Alternative Ways to Test for Validity Semantic Equivalence Truth-Trees More on Truth-Trees The Adequacy of the Logical Connectives Examination 2 in Formal Logic An Introduction to First Order Predicate Logic Logical Form Revisited: The Formal Language QL More on the Formulas of QL The Universal Quantifier and the Existential Quantifier Introducing the Notion of a QL Interpretation Valid and Invalid Sequents of QL Negation and the Interdefinability of the Quantifiers How to Think Logically about Relationships: Part One How to Think Logically about Relationships: Part Two How to Think Logically about Relationships: Part Three How to Think Logically about Relationships: Part Four Formal Properties of Relations Introducing Identity Identity and Numerically Definite Quantification Russell #1: Names and Descriptions Russell #2: On Existence Examination 3 in Formal Logic How to Argue Logically in QL Introduction: Formal Logic and Science Fiction Reasoning with the Universal Quantifier 1: The Rule UE Reasoning with the Universal Quantifier 2: The Rule UI Introducing the Existential Quantifier: The Rule EI A Brief Note on Free Logic Eliminating the Existential Quantifier: The Rule EE Reasoning with Relations Proof-Theory for Identity: The Rules =I and =E Strategies for Proof-Construction in QL #1 Strategies for Proof-Construction in QL #2 Examination 4 in Formal Logic Formal Logic and Formal Semantics #2 Truth-Trees Revisited More on QL Truth-Trees Relations Revisited: The Undecidability of First Order Logic A Final Note on the Truth-Tree Method: Relations and Identity Glossary Bibliography Index
Free shipping on orders over \$35*

*A minimum purchase of \$35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.