Embedded Files
To be updated soon
Syllabus
Sentential Logic
Ch. 1 Preliminary Definitions
Ch. 2 Syntax of SL
Ch. 2 Translations in SL
Ch. 3, 5.1 Semantics of SL
Ch. 3, 5.1 Truth-Functional Definitions
Ch. 6.1-6.3 Inference Rules for SD
Ch. 6.6 Constructing Derivations in SD
Ch. 6.7 Proof-Theoretic Definitions
Quantified Logic
Ch. 4 Syntax of QL
Ch. 4 Loglish
Ch. 5 Semantics of QL
Ch. 5 Model-Theoretic Definitions
Ch. 6 Inference Rules for QD
Ch. 6 Proof-Theoretic Definitions for QD
© 2016 T. Scott Dixon All Rights Reserved
Page updated
Google Sites
Report abuse