Contact The MIT Press Information on how to order from The MIT Press Access your saved shopping cart, e-mail list subscriptions, order history, address book, and other info in the Your Profile area MIT Press Home Page


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

Series
Bradford Books
Related Links
Open this site in a new browser window.
Logic Daemon and QuizmasterOpen this site in a new browser window.
Find this book in a library
Request Exam/Desk Copy
Table of Contents
 < BACK
Logic Primer, 2nd Edition
Colin Allen and Michael Hand

Table of Contents

1 Sentential Logic
Basic Logical Notions; A Formal Language for Sentential Logic; Translation of English to Sentential Wffs; Primitive Rules of Proof; Sequents and Derived Rules; Theorems
2 Truth Tables
Truth Tables for Sentences; Truth Tables for Sequents; Tautologies; Indirect Truth Tables; English Counterexamples
3 Predicate Logic
A Formal Language for Predicate Logic; Translation of English to Quantified Wffs; Primitive Rules of Proof; Sequents, Theorems, and Derived Rules of Proof
4 Models
Finite Interpretations and Expansions with One-Place Predicates; Finite Countermodels for Arguments with One-Place Predicates; Finite Countermodels for Arguments with Many-Place Predicates; Finite Countermodels for Arguments with Identity; Infinite Countermodels

Answers to Selected Exercises

 
Join an E-mail Alert List


 
 
TECHNOLOGY PARTNER: Azility, Inc. TERMS OF USE | PRIVACY POLICY | COPYRIGHT © 2009