PHIL 2110 Lecture Notes - Lecture 12: Ds 5, Logical Form, Reductio Ad Absurdum
Document Summary
It is handy to have a symbol for it: eet: e. g. P q: p q, (p v q, p & q, p, q, q, (p v q, p v q. Well-formed formulas (wffs): statement: a capital letter a, b, p, q, etc. used to represent abstract statements, e. g. P: unary compounds: a wff preceded by a tilde is a wff. Symbolize following: being a member of the house of commons is a necessary condition for being a member of cabinet: c h abstract statement (c alone is also an abstract statement) One may legally practice law, provided one is a member of the bar. It would be illegal for cody to continue to practice law, since he was debarred: b l, b, l, provided should be the consequent an abstract statement, p q is not a wff b/c not capitalized. A statement variable: any lowercase italicized letter from p to z, which is a place-holder for.