For the Final Exam be sure you know
I. The Nineteen Rules of Inference and Replacement, and the techniques of conditional and indirect proof (Chapter 3)
II. How to symbolize propositions involving single and multiple quantifiers in a first order predicate calculus (Chapter 4)
III. Additionally, be sure that you have a mastery of the following concepts:
From Chap 1:
truth value premiss
conclusion deductive argument
inductive argument validity
Be sure you understand the relationship between the truth value of the premisses and conclusion in a deductive argument and the validity and/or soundness of that argument.
From Chap 6:
a formal deductive system
an interpreted deductive system, e.g. Euclidean geometry, vs.
an uninterpreted formal deductive system
axioms of a formal deductive system
theorems of a formal deductive system
undefined or "primitive" terms of a formal deductive system
formulas (well formed) of a formal deductive system
semantic rules for giving an intended interpretation of system
syntactic (purely formal) rules for constructing well formed formulas, wffs
expressive completeness with respect to an intended interpretation
consistency of a formal deductive system
Post criterion of consistency
independence of axioms of a formal deductive system
redundancy of axioms of a formal deductive system
deductive completeness of a formal deductive system
logistic systems as a special kind of formal deductive systems
elements of logistic system:a) primitive symbolsFrom Chap 8:
b) syntactic rule for forming wffs
c) list of axioms
d) purely syntactic rule of "valid" inference
e) theorems of system
object language vs. metalanguage distinction
semantic vs syntactic metalanguage distinction
elements of logistic system R.S.:
primitive symbols of R.S.
purely syntactic rule for forming wffs axioms of R.S.
rule of inference of R.S.
functional completeness of R.S. (Metatheorem I)
analytic nature of R.S. (Metatheorem II)
consistency of R.S. (Corollary of Metatheorem II)
Of course, you should review proofs and symbolizing exercises of the type covered on the Third Exam. Be sure to consult the handout on the two different formats (Type A and Type B) for CP's involving multiple quantifiers.