Study of methods characteristic of modern deductive logic including use of truth tables, Boolean normal forms, models, and indirect and conditional proofs within the theory of truth-functions and quantifiers.

Note that this information may change at any time. Please visit the Student Link for the most up-to-date course information.