374exam1review - Math 374 Exam 1 Information Exam 1 will be...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Math 374, Exam 1 Information Exam 1 will be based on: • Sections 1.1 - 1.6. • The corresponding assigned homework problems (see http://www.math.sc.edu/ ∼ boylan/SCCourses/374Sp09/374.html) At minimum, you need to understand how to do the homework problems. • Lecture notes: 1/12 - 2/6. Topic List (not necessarily comprehensive): You will need to know how to define vocabulary words/phrases defined in class. § 1.1 : Statements, symbolic representation, and tautologies . Logical connectives (e.g., conjunction, disjunction, implication, negation, equivalence); truth tables, well-formed for- mulas (wffs); tautologies; De Morgan’s Laws. § 1.2 : Propositional logic . Propositions; valid arguments; derivation rules (e.g., equivalence rules such as commutativity and inference rules such as modus ponens and modus tollens); deduction method; proof sequences as a method for proving that a propositional wff is a tautology....
View Full Document

This note was uploaded on 09/07/2009 for the course CSCE 374 taught by Professor Boyan during the Spring '09 term at South Carolina.

Ask a homework question - tutors are online