I have written up a short essay that gives a brief and informal overview of the logical syntax used in mathematics. It covers the basic logical connectives and quantifiers, and gives a few examples. In particular, the final example (negation of the ε-δ definition of continuity) should be helpful in solving problem 2 in this week’s homework for Math 32AH.

Here is a link to the essay: Basic Logic. As usual, let me know in the comments below if anything in the essay is incorrect or unclear.