T5.4 4 of 4
We may restate our strategy guideline. In the last exercise it was suggested that one assume the "opposite" of the goal sentence. Let me make the suggestion more explicit.
When you have a goal sentence of the form '~P',
think about deriving it from negation introduction. This would require
assuming P and then (sub)deriving a contradiction