Ship-Ship-Hooray! Free Shipping on $25+ Details >
Introducing Symbolic Logic

Introducing Symbolic Logic - 04 edition

Introducing Symbolic Logic - 04 edition

ISBN13: 9781551116358

ISBN10: 1551116359

Introducing Symbolic Logic by Robert M. Martin - ISBN 9781551116358
Cover type: Paperback
Edition: 04
Copyright: 2004
Publisher: Broadview Press
International: No
Introducing Symbolic Logic by Robert M. Martin - ISBN 9781551116358

ISBN13: 9781551116358

ISBN10: 1551116359

Cover type: Paperback
Edition: 04

List price: $42.95

Instant access, flexible term options, and deep discounts up to 60% on digital content! Happy you, happy us.

Delivered via email within 1 hour
Expires after 180 days
You Save $10.09 (23%)
Format: Vitalsource
Use for 180 days

Please note: eTextbooks do not come with access codes, CDs/DVDs, workbooks, and other supplemental items.
Well, that's no good. Unfortunately, this edition is currently out of stock. Please check back soon.

shop us with confidence


This accessible, SHORT introduction to symbolic logic includes coverage of sentential and predicate logic, translations, truth tables, and derivations. The author's engaging style makes this the most informal of introductions to formal logic. Topics are explained in a conversational, easy-to-understand way for readers not familiar with mathematics or formal systems, and the author provides patient, reader-friendly explanations--even with the occasional bit of humour.

The first half of the book deals with all the basic elements of Sentential Logic: the five truth-functional connectives, formation rules and translation into this language, truth-tables for validity, logical truth/falsity, equivalency, consistency and derivations. The second half deals with Quantifier Logic: the two quantifiers, formation rules and translation, demonstrating certain logical characteristics by ''Finding an Interpretation'' and derivations.

There are plenty of exercises scattered throughout, more than in many texts, arranged in order of increasing difficulty and including separate answer keys.

Table of Contents

Table of Contents

Chapter One: Sentence Logic

Validity and Invalidity
Consistency and Inconsistency
Necessary Truth and Falsity
Logical Truth, Falsity, Indeterminacy
Logical Equivalency
Peculiar Consequences
Sentential Logic
Atomic Sentences
Compound Sentences
Truth Tables for Compound Sentences
Using Truth Tables
Truth-Functional Logical Properties
Answers to Exercises in Chapter One

Chapter Two: Sentence Derivations

Conjunction Rules
Conditional Rules
Disjunction Rules
Negation Rules
Biconditional Rules
List of All the Rules
About This Set of Rules
Learning the Derivation System
Rules of Thumb
What Derivations Prove
How to learn the Skill
Answers to Exercises in Chapter Two

Chapter Three: Quantifier Logic

Predicates and Constants
The Universal Quanitifier
The Existential Quantifier
Well-Formed Quantified Sentences
Understanding Quantified Sentences
Multiple Quantification
Quantificational Logical Properties
Proving Quantificational Logical Properties
Answers to Exercises in Chapter Three

Chapter Four: Quantifier Derivations

About Quantifier Derivations
Undischarged Assumptions
Main Connective
Substitution Instance
Universal Elimination
Existential Introduction
Universal Introduction
Existential Elimination
List of All the Additional Quantifier Rules
Using Derivations (Again)
Answers to Exercises in Chapter Four

Digital Rights

eBook Requirements
VitalSource Bookshelf Reader
Minimum System Requirements:
  • Windows 7/8, or Mac OS X 10.6 or above
Software Requirements:

eTextbooks and eChapters can be viewed by using the free reader listed below.

Be sure to check the format of the eTextbook/eChapter you purchase to know which reader you will need. After purchasing your eTextbook or eChapter, you will be emailed instructions on where and how to download your free reader.

Download Requirements:

Due to the size of eTextbooks, a high-speed Internet connection (cable modem, DSL, LAN) is required for download stability and speed. Your connection can be wired or wireless.

Being online is not required for reading an eTextbook after successfully downloading it. You must only be connected to the Internet during the download process.

User Help:

Click Here to access the VitalSource Bookshelf FAQ

Digital Rights
Copying: Allowed, 2 selections may be copied every 180 days
Printing: Allowed, 30 prints for 180 days
Expires: Yes, may be used for 180 days after activation
Reading Aloud: Allowed
Sharing: Not Allowed
Min. Software Version: Online: No additional software required
Offline: VitalSource Bookshelf

Suitable Devices: PCs, Tablet PCs, Macs, Laptops

Digital Rights Management (DRM) Key

Copying - Books that cannot be copied will show "Not Allowed." Otherwise, this will detail the number of times it can be copied, or "Allowed with no limits."

Printing - Books that cannot be printed will show "Not Allowed." Otherwise, this will detail the number of times it can be printed, or "Allowed with no limits."

Expires - Books that have no expiration (the date upon which you will no longer be able to access your eBook) will read "No Expiration." Otherwise it will state the number of days from activation (the first time you actually read it).

Reading Aloud - Books enabled with the "text-to-speech" feature so that they can be read aloud will show "Allowed."

Sharing - Books that cannot be shared with other computers will show "Not Allowed."

Min. Software Version - This is the minimum software version needed to read this book.

Suitable Devices - Hardware known to be compatible with this book. Note: Reader software still needs to be installed.