Embedded Files
To be updated soon
Syllabus
Resources for Sentential Logic
Preliminary Definitions of Logical Concepts
Syntax
Semantics
Transcriptions
Semantic Definitions of Logical Concepts
Laws of Equivalence
Inference Rules for Natural Deduction
Definitions of Proof-Theoretic Concepts
A Guide for Constructing Derivations
Proof-Theoretic Definitions of Logical Concepts
Resources for Predicate Logic
Syntax
Loglish and Transcriptions
Semantics
Semantic Definitions of Logical Concepts
Example Syntax and Semantics Exercises
Laws of Equivalence
Definitions of Proof-Theoretic Concepts
Inference Rules for Natural Deduction
Proof-Theoretic Definitions of Logical Concepts
Source Materials for Resources
Bergmann, M., J. Moor, and J. Nelson 2008. The Logic Book, 5th Edn. New York: McGraw-Hill.
Teller, P. 1989. A Modern Formal Logic Primer, Vols I and II. Upper Saddle River, NJ: Prentice Hall.
© 2016 T. Scott Dixon All Rights Reserved
Page updated
Google Sites
Report abuse