Test 1: Formal Logic

This document is Test 1 for the course MTH 305. It covers topics such as statements, symbolic representation, and tautologies in formal logic. The document includes exercises on translating compound statements into symbolic form, constructing truth tables, using pseudocode, justifying proof sequences, and using propositional logic to prove arguments. It also covers quantifiers, predicates, and validity, including determining truth values of wffs and writing English language statements as predicate wffs. The document concludes with an exercise on writing the negation of a statement.