Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
2Activity
0 of .
Results for:
No results containing your search query
P. 1
A Problem Course in Mathematical Logic

A Problem Course in Mathematical Logic

Ratings: (0)|Views: 41|Likes:
Published by api-3749303

More info:

Published by: api-3749303 on Oct 17, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/18/2014

pdf

text

original

A Problem Course in
Mathematical Logic
V
e
r
s
i
o
n
1
.
5
Volume I
Propositional and
First-Order Logic
Stefan Bilaniuk
Author address:
Department of Mathematics
Trent University
Peterborough, Ontario
Canada K9J 7B8
E-mail address:sbilaniuk@trentu.ca
1991Mathematics Subject Classi\ufb01cation. 03.
A Problem Course In Mathematical Logic
Volume I: Propositional and First-Order Logic
Version 1.5
Copyrightc
\ue0001994\u20131999 by Stefan Bilaniuk.
Abstract.This is a text for a problem-oriented undergraduate

course in mathematical logic. It covers the basics of propositional and \ufb01rst-order logic through the Soundness, Completeness, and Compactness Theorems. Volume II,Computation, covers the ba- sics of computability using Turing machines and recursive func- tions, the Incompleteness Theorems, and complexity theory through the P and NP.

Information on availabality and the conditions under which
this book may be used and reproduced are given in the preface.
This book was typeset using LATEX, using theAMS-LATEX and
AMSFonts packages of the American Mathematical Society.
Contents
Preface
v
Introduction
1
Propositional Logic
5
Chapter1. Language
7
Chapter 2. Truth Assignments
11
Chapter3. Deductions
15
Chapter 4. Soundness and Completeness
19
First-Order Logic
21
Chapter5. Languages
23
Chapter 6. Structures and Models
33
Chapter7. Deductions
41
Chapter 8. Soundness and Completeness
47
Chapter 9. Applications of Compactness
51
Hints
57
Chapter1. Hints
59
Chapter2. Hints
61
Chapter3. Hints
63
Chapter4. Hints
65
Chapter5. Hints
67
Chapter6. Hints
69
Chapter7. Hints
71
iii

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->