PHI 1101 Midterm: PHI Midterm 2 Notes

• School: University of Ottawa
• Department: Philosophy
• Course: PHI 1101
• Professor: Christopher Mc Grath

Document Summary

For test #2: for class ten (oct 11) understanding implication and other compound claims. The term in an implication which implies the consequent. The term in an implication which is implied by the antecedent. I. e. , in symbolic logic, the antecedent is the first term of an implication (p q) and the consequent is the second (p q). Nb: in an implication (p q), if the antecedent is true (p) then the consequent is true (q). You have to be careful when translating natural language into symbolic logic, that you clearly identify which term is the antecedent and which is the consequent. Learned skill: be able to formulate compound claims in symbolic logic. Learned skill: be able to draw the truth tables for negation and the four connectives (disjunction, conjunction, implication, and double implication [aka, biconditional]): for classes twelve to thirteen (oct 18 and oct 20) argument forms in propositional logic.