An introduction to the techniques of formal (and valid) reasoning with emphasis on the (classical) propositional and predicate calculus.
Arguments and how to formalize arguments and then determine (if possible) their validity.
Completeness and soundness of formal systems.
Depending on the preference of the class (and available time) some of the following may also be included:
other topics are possible.