Logic for Everyone

Details Logic for Everyone Logic for Everyone

2006-01-29

arxiv.org/abs/math/0601709v1

Mathematics

General Mathematics

124 pages

Scientific paper

Presented, in this monograph, are the results of the U. S. Naval Academy Mathematical Logic Course Project. The propositional and predicate calculus is presented in a unique manner. All aspects are rigorously established using the the fewest mathematical techniques. 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. Further, the material is considered to be a terminal experience and is directed towards applications such as logic-networks, procedures to determine the validity of arguments, the simple consistency of some sets of hypotheses, some concrete and abstract model theory and, by the Compactness Theorem, the generation of infinitesimals, ultrawords and ultralogics.

Affiliated with

Also associated with

No associations

Rating

Logic for Everyone does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic for Everyone, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic for Everyone will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-533737