Logic Primer, 2nd Edition - Table of Contents

February 2001
7 x 9, 213 pp.
$26.00/£15.95 (PAPER)
Short

ISBN-10:
0-262-51126-6
ISBN-13:
978-0-262-51126-1

Related Links

Logic Daemon and Quizmaster

< BACK
Logic Primer, 2nd Edition
Colin Allen and Michael Hand

	Preface

	Acknowledgements

1	Sentential Logic

		1.1	Basic logical notions

		1.2	A Formal Language for Sentential Logic

		1.3	Translation of English to Sentential Wffs

		1.4	Primitive Rules of Proof

		1.5	Sequents and Derived Rules

		1.6	Theorems

2	Truth Tables

		2.1	Truth Tables for Sentences

		2.2	Truth Tables for Sequents

		2.3	Tautologies

		2.4	Indirect TTs

		2.5	English Counterexamples

3	Predicate Logic

		3.1	A Formal Language for Predicate Logic

		3.2	Translation of English to Quantified Wffs

		3.3	Primitive Rules of Proof

		3.4	Sequents, Theorems, and Derived Rules of Proof

4	Predicate Logic

		4.1	Finite Interpretations and Expansions with One-Place Predicates

		4.2	Finite Countermodels for Arguments with One-Place Predicates

		4.3	Finite Countermodels for Arguments with Many-Place Predicates

		4.4	Infinite Countermodels

	Answers to Selected Exercises

	Index

	Join an E-mail Alert List

TECHNOLOGY PARTNER: Azility, Inc.