PHIL 102 Introductory LogicCraig FoxFINAL EXAM: PREVIEW AND REVIEWI. PREVIEWFinal exam: Friday, 7/22, 1:00-3:00, BSB 365In an effort to give everyone the best possible chance to obtain the grade they wish, I have come up with the following procedure for the final exam. According to your syllabus, the final is to be weighted 30% of your overall grade. This is still true—unless your grade on the finalis better than your overall grade. If this is the case, then I will take the grade on your final to be your overall grade. In other words, your final exam will count for either 30% or 100% of your overall grade, whichever is higher. An example: You get a B on the final. Your average for the class comes out to a C when I weigh the final as 30%. Your grade is then a B, as this is higher. Another example: She gets a D on the final. Her average, when I weigh the final as 30%, is a B. Her final grade is a B. In other words, this procedure won’t hurt you—but it might help you.The exam will be the same length as your other exams, and you will have the full 2 hoursin which to complete it. It will be cumulative, with at least one problem pertaining to Units 10 - 14.II. REVIEWKey terms: (This list is not meant to be exhaustive, but merely suggestive.)inductive argument, deductive argument, syllogism, valid, invalid, premises, conclusionargument form, instance, counterexample, soundness, simple sentence, compound sentence, connective/operator, truth-functional connective/operator, non-truth-functional connective/operator, sentential operator, n-place operatorwell-formed (formula), major operator, computing truth values’and’, ‘or’, ‘not’, ‘if...then...’, ‘if and only if’ & common English approximates of theseregimentation/translation, DeMorgan’s laws, ‘only if’, ‘provided’, ‘unless’, ‘neither’, ‘not both’conditionals, truth tables, testing for validity, possible circumstancesfull truth table method, partial method, short methodcontradiction, tautology, contingency, consistent/inconsistent, logical equivalence, logical implication, set of sentencesproof method, justified step, inference rules (8), substitution instance, derivation, proofreplacement rules (10), proof strategies, working backwards (“bottom up”)indirect proof, conditional proof, assumption, subproof, theoremname, individual constant, singular sentence, individual variable, propositional function, predicate lettersentential logic (SL), predicate logic (PL), quantifier logic (QL)quantifier, universal statement, existential statement, universal quantifier, existential quantifier, general sentence, scope (of a quantifier), bound variable, free variable, categorical props.,complex subjects & predicatestree