Logic For Everyone

Logic For Everyone

Covers all of the basic material in the propositional and predicate calculus. Applications include non-standard models obtained by the means of compactness theorem and the generation of weak ultrawords and ultralogic operator.

Tag(s): Mathematics

Publication date: 31 Dec 1994

ISBN-10: n/a

ISBN-13: n/a

Paperback: 124 pages

Views: 13,775

Type: N/A

Publisher: n/a

License: n/a

Post time: 20 Oct 2006 01:30:19

Logic For Everyone

Logic For Everyone Covers all of the basic material in the propositional and predicate calculus. Applications include non-standard models obtained by the means of compactness theorem and the generation of weak ultrawords and ultralogic operator.
Tag(s): Mathematics
Publication date: 31 Dec 1994
ISBN-10: n/a
ISBN-13: n/a
Paperback: 124 pages
Views: 13,775
Document Type: N/A
Publisher: n/a
License: n/a
Post time: 20 Oct 2006 01:30:19
Book Excerpts:

This is an elementary book in Mathematical Logic that also covers all of the basic material in the propositional and predicate calculus. It is the result of the U. S. Naval Academy Mathematical Logic Course Project.

Both the propositional and predicate calculus are presented in a unique manner. Enough material is covered so that certain topics in elementary model theory can be included and all mathematical proofs are of the most elementary nature requiring no specialized mathematical procedures. The propositional calculus is expanded considerably and many of the proof methods are used to establish the predicate calculus results. Consequnce operators are also introduced.

This book is written especially for the Midshipmen at the United States Naval Academy. The material itself is considered to be a terminal experience and is directed towards applications which include a very elementary introduction to nonstandard models as they are obtained by means of the "compactness" theorem, and the generation of weak "ultrawords" and an "ultralogic" operator. A complete set of answers for all exercise problems and 6 figures in the form of gif images are included.




About The Author(s)


No information is available for this author.

Robert A. Herrmann

No information is available for this author.


Book Categories
Sponsors
Icons8, a free icon pack