Monday Logic - Happy Halloween!

The quiz question for Logic today was to do word problem 4 from exercise 8E (p 427 in the new edition and p 398 in the old). So with this one first you have to translate the sentences into the symbols given. Then use the implication rules and the first five replacement rules to show the argument is valid.