UNCG Author/Contributor (non-UNCG co-authors, if there are any, appear on document)
Carol Lynne Narz Murphy (Creator)
The University of North Carolina at Greensboro (UNCG )
Web Site: http://library.uncg.edu/
E. E. Posey

Abstract: This thesis is meant to be an introduction to logic. The first two chapters give general background information. The last two chapters give the details of two of the more basic divisions of logic. Chapter III is on propositional calculus. First the expressions allowable in this discipline are quite precisely defined. Then it is decided, again in a precise manner, which of these allowable expressions are provable and which are true. Lastly it is demonstrated that an expression of the discipline is true if and only if it is provable. Chapter IV is on predicate calculus. The same procedure as in Chapter III is used to explore this discipline.

Additional Information

Language: English
Date: 1976
Logic, Symbolic and mathematical

Email this document to