For theFinal Exambe sure you know

I.TheNineteen Rulesof Inference and Replacement, and the techniques ofconditionalandindirectproof (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:logic argument

inference proposition

truth value premiss

conclusion deductive argument

inductive argument validity

soundnessBe sure you understand

the relationship between the truth value of the premisses and conclusionin 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 systemselements of logistic system:

a) primitive symbols

b) syntactic rule for forming wffs

c) list of axioms

d) purely syntactic rule of "valid" inference

e) theorems of systemFrom Chap 8: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.