Discrete Mathematics - Arguments with Quantified Statements

Universal modus ponens and universal modus tollens are discussed in this section.  The validity of arguments is studied extensively in this section as well.  The notes for this section are available here.