Introducing Symbolic Logic by Robert M. Martin -- Read -- Imperial Library of Trantor

Index

Cover Title Page Copyright Acknowledgements Contents Introduction

What Symbolic Logic Is What It’s Good For What You Should Do

Chapter One: Sentence Logic

Sentences Arguments Validity and Invalidity Soundness Consistency and Inconsistency Necessary Truth and Falsity Logical Truth, Falsity, Indeterminacy Logical Equivalency Peculiar Consequences Sentential Logic Atomic Sentences Conjunctions Disjunctions Conditionals Biconditionals Negations Compound Sentences Truth Tables for Compound Sentences Translating Using Truth Tables Truth-Functional Logical Properties Answers to Exercises in Chapter One

Chapter Two: Sentence Derivations

Derivations Conjunction Rules Conditional Rules Disjunction Rules Negation Rules Biconditional Rules Reiteration List of All the Rules About This Set of Rules Learning the Derivation System Strategies 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 Quantifier 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