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.