Introduction to Formal Logic

ISBN-10: 0521008042

ISBN-13: 9780521008044

Edition: 2003

Authors: Peter Smith

List price: $38.99 Buy it from $35.18
This item qualifies for FREE shipping

*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.

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.

Learn more about our returns policy

Description:

Peter Smith introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible "tree" method. His commentary is supplemented with examples and exercises, making the text appropriate for a first logic course. The book will also provide a basis for further research in formal and philosophical logic.
New Starting from $44.39
what's this?
Rush Rewards U
Members Receive:
coins
coins
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.

Add to cart
Study Briefs
Calculus 1 Online content $4.95 $1.99
Add to cart
Study Briefs
Medical Terminology Online content $4.95 $1.99
Add to cart
Study Briefs
Medical Math Online content $4.95 $1.99
Customers also bought
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $38.99
Copyright year: 2003
Publisher: Cambridge University Press
Publication date: 11/6/2003
Binding: Paperback
Pages: 364
Size: 6.75" wide x 9.50" long x 1.00" tall
Weight: 1.584
Language: English

Pete Smith is a Technical Architect and data warehouse specialist with a wide range of expertise from application analysis, design and development through to database design, administration and tuning. This experience covers 19 years in the IT industry, 14 of which are specifically on Oracle platforms and demonstrates a high degree of longevity and familiarity with the Oracle database server and associated products. Qualified to degree level, Pete has worked for many years as an independent Oracle consultant and, more recently, in a senior position as a Principal consultant with Oracle UK; Pete now works for a specialist UK IT consultancy.

What is logic?
Validity and soundness
Patterns of inference
The counterexample technique
Proofs
Validity and arguments
Three propositional connectives
The syntax of PL
The semantics of PL
'A's and 'B's, 'P's and 'Q's
Truth functions
Tautologies
Tautological entailment
PLC and the material conditional
More on the material conditional
Introducing PL trees
Rules for PL trees
PLC trees
PL trees vindicated
Trees and proofs
Quantifiers
QL introduced
QL explored
More QL translations
Introducing QL trees
The syntax of QL
Q-valuations
Q-validity
More on QL trees
QL trees vindicated
Extensionality
Identity
The language QL=
Descriptions and existence
Trees for identity
Functions
×
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.

Learn more about the TextbookRush Marketplace.

×