From week 4 to 5

I have three midterms this week -_-

Yes I just killed 3 seconds of your life by making you read that :D

And now onto CSC 165...

Now that more mathematical operations are being introduced, especially in proofs, I have begun to find CSC 165 easier to understand. I just need a lot of practice for writing proofs in the weird indented format introduced in Friday's lecture using some old past tutorial assignments from previous years... except they have no solutions! >_<

So far I feel pretty comfortable using symbolic and logical notation, except I had trouble with translating statements with multiple quantifiers and variables declared in a  statement to plain English(in Assignment 1).

Say you have a question similar to 3.c) from Assignment 1: 
The variable w introduced within the parentheses right after the declaration of a variable before it(y) means that it will only exist as long as single y exists? And so that for any other variable that is not y variable w does not exist at all, or if it does, it is a different w variable with none of the attributes of the w that exists alongside y despite them having the same name?