Notes on Propositional and Predicate Calculus
©2000. Charles Lin. All rights reserved.
These were notes that I wrote up in CMSC 250 (Discrete Mathematics) on proofs in logic.
Notes
Link
Propositional Calculus
[
PDF
] (25 pages)
Predicate Calculus, Part 1
[
PDF
] (40 pages)
Predicate Calculus, Part 2
[
PDF
] (9 pages)