Test 1 Review Information

• Test 1 is on Monday (2/3) in class.
• It will cover sections 1.1 and 1.3 only.
• It will be closed book and notes, except you will be allowed to bring one sheet of paper (8.5" x 11" ONE side) with notes.

Below are the highlights of each section:

Section 1.1

Topics:

• statement/proposition
• conjunction
• disjunction
• implication
• antecedent
• consequent
• equivalence
• well-formed formula (wff)
• tautology
• contradiction

Skills:

• Use the formal symbols of propositional logic
• Translate between English sentences and propositional logic
• Find the truth value of an expression in propositional logic
• Apply DeMorgan's law when negating a wff
• Construct truth tables for compound wffs
• Use truth table to show equivalence of two propositional wffs
• Recognize tautologies and contradictions

Section 1.3

Topics:

• predicate
• domain of interpretation
• universal quantifier
• existential quantifier
• scope of quantifiers

Skills:

• Determine the truth value of a predicate wff in a given interpretation
• Translate English language statements into predicate wffs, and vice versa
• Recognize a valid wff and explain why it is valid
• Recognize a nonvalid wff and construct an interpretation in which it is false or has no truth value