Logic Techniques of Formal Reasoning

ISBN-10: 0195155041
ISBN-13: 9780195155044
Edition: 2nd 1992 (Revised)
List price: $99.95 Buy it from $19.19 Rent it from $14.36
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: Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and  More...

Used Starting from $35.31
Rent Starting from $14.36
what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!
You could win $10,000

Get an entry for every item you buy, rent, or sell.

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
Algebra Online content $4.95 $1.99
Add to cart
Study Briefs
Introduction to Logic Online content $4.95 $1.99
Add to cart
Study Briefs
Business Math Formulas Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $99.95
Edition: 2nd
Copyright year: 1992
Publisher: Oxford University Press, Incorporated
Publication date: 4/16/1980
Binding: Hardcover
Pages: 544
Size: 6.50" wide x 9.25" long x 1.00" tall
Weight: 2.134

Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered.

""Not"" and ""If""
Symbols and sentences
From symbols to English and back
Derivability and validity of symbolic arguments
Validity of English arguments
Fallacies
Theorems
Historical remarks
Appendix
""And,"" ""Or,"" ""If and Only If""
Symbols and sentences
Translation and symbolization
Inference rules and derivability
Theorems with unabbreviated proofs
Abbreviated derivations
Theorems with unabbreviated proofs
Arguments
Truth-value analysis of sentences
Truth-value analysis of arguments
Historical remarks
Appendix: list of theorems of chapters I and II
Appendix: solutions to selected exercises
""All"" and ""Some""
Variables, quantifiers, formulas
Bondage and freedom
Informal notational conventions
Translation and symbolization
Inference rules
Derivations
Theorems with unabbreviated proofs
Abbreviated derivations
Fallacies
Theorems with abbreviated proofs
Arguments
Invalidity: truth-functional expansions and models
Historical remarks
Appendix: list of theorems of chapter III
Appendix: solutions to selected exercises
Appendix: summary of the system of logic developed in chapters I-III
""All"" and ""Some,"" continued
Terms and formulas
Bondage and freedom
Informal notational conventions
Translation and symbolization
Revised inference rules
Theorems
Invalidity: truth-functional expansions and models
Invalidity: false arithmetical translations
Arguments of English
Historical remarks
Appendix: list of theorems of chapter IV
Appendix: solutions to selected exercises
""Is"" (in one sense)
Terms and formulas
Translation and symbolization
Inference rules
Theorems
Invalidity
Historical remarks
Appendix: list of theorems of chapter V
Appendix: solutions to selected exercises
""The""
Descriptive phrases, terms, formulas
Bondage and freedom
Informal notational conventions
Translation and symbolization
Inference rules
Theorems
Invalidity
Arguments of English
Historical remarks
Appendix: list of theorems of chapter VI
Appendix: solutions to selected exercises
Additional Derivational Procedures
Alphabetic variance
Substitution
Abbreviated derivations reconsidered
biconditional derivations
Formulas without overlay and prenex normal form, again
Abbreviated derivations justified
generalized priciples of interchange
Historical remarks
Appendix: list of theorems of chapter VII
Appendix: solutions to selected exercises
Appendix: summary of the system of logic developed in chapters I-VII
""The"" again: A Russellian Theory of Descriptions
The Fregean theory of chapter VI reconsidered
A Russellian theory of descriptions
Historical remarks
Appendix: list of theorems of chapter VIII
Appendix: solutions to selected exercises
Appendix: summary of the Russellian system of logic developed in chapter VIII
Automatic Procedures
Introduction
Tautologies reconsidered
Tautological implication
generalized indirect derivation
A proof procedure for prenex formulas
A derivation procedure for prenex arguments
Conversion to prenex form
A derivation procedure for arbitrary symbolic arguments
A decision procedure for certain prenex formulas
A decision procedure for certain prenex arguments
Historical remarks
Definitions: Formal Theories
The vocabulary of formal languages
Bondage and freedom
proper substitution
alphabetic varianc
Informal notational conventions
Derivability
Formal theories
the theory of commutative ordered fields
Extensions of theories
the theory of real numbers
Definitions
Variable-Binding Operators
Definitions reconsidered
The theory of convergence
A sketch of further developments
Historical remarks
Appendix: list of constants used in chapters X and XI
Appendix: list of axioms, definitions, and theorems of chapters X and XI
Bibliography
Index of Proper Names
Index of Subjects

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

×