PHIL 110 Lecture 9: Lecture 9
Document Summary
~(f v w) -> d (~f v ~w) -> d. Well if we dont drink water alone but eat we will die. If we dont eat but only drink water, we will die. So the negation must be inside the brackets distributed by both. If arnold s. was not the terminator or the governor, he would be unknown here we would symbolize like so . We symbolize like this because he would still be known if he was only the terminator and not the governor (vice versa). The word unless: p unless q same as p if not q which would symbolize as . In other words, could we in general have a conclusion of the form p > q, (if its not already stated in the premises). A > says that, if a is true then so is c. To prove this statement, here"s what we would need to do: