PHILOS 31 Lecture Notes - Lecture 9: Pepperoni
Document Summary
Translate symbolizations to colloquial english when in doubt. If pizza has mushrooms and is slimy then it is not good. What is true of all things is true of any particular thing. X((fx v gx) ( xhx ^ jx)) X((fx v gx) ( yhy ^ jx) kx) Fa v ga y(hy ^ ja) ka) (fa v ga) ( xhx ^ ja) Replace the bound variable with a free. If a particular thing has a property, then something does. What is true of something is true of a particular thing. Can"t ei to a name letter, only variable letters. Can"t ei to a variable that has already been used in the derivation. Can"t use this variable for another situation. Ei must be a brand new variable, one that has never occurred in the proof. What you can prove for any particular thing you can prove it for everything.