Test 1 Review Information
Test 1 is on Thursday (10/3) in class. It will be closed book and notes, except you will be allowed to bring your pink sheet of Logic Rules and one other sheet of paper (8.5" x 11" both sides) with notes.
Below are the hightlights 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.2
Topics: propositional wffs, propositional logic, valid argument, hypotheses, conclusion, proof sequence, equivalence rules, inference rules,
Skills:
Apply derivation rules for propositional logic to construct formal proofs of arguments
Use propositional logic to prove the validity of a verbal argument.
Section 1.3
Topics: universal quantifier, predicate, domain of interpretation, existential quantifier, scope of quantifiers, validity of a predicate wff
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
Section 1.4
Topics: universal instantiation, existential instantiation, universal generalization, existential generalization, temporary hypothesis, verbal argument
Skills:
Apply derivation rules for predicate logic
Use predicate logic to prove the validity of a verbal argument