Please note: Some of these notes require Adobe Reader to view. You can download that program for free here.
Basic definitions: Validity and Soundness
Basic strategies for formal proof
Consolidated proof rules
Quantifier Scope Notes
The "Existential Elimination" Rule