Logic
- UNCG Author/Contributor (non-UNCG co-authors, if there are any, appear on document)
- Carol Lynne Narz Murphy (Creator)
- Institution
- The University of North Carolina at Greensboro (UNCG )
- Web Site: http://library.uncg.edu/
- Advisor
- 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.
Logic
PDF (Portable Document Format)
4729 KB
Created on 1/1/1976
Views: 405
Additional Information
- Publication
- Thesis
- Language: English
- Date: 1976
- Subjects
- Logic, Symbolic and mathematical
- Calculus