Here is an example of what I learned:
English Statement: All u of t students(s) study CSC165.
**U is a set of all u of t students,and C represents CSC165.**
An expression for this will be:
∀s U,C(s)
To prove this right, we have to go through every student making sure all of them are studying csc165; however, to prove this wrong, we only need to find one student that is not taking csc165.
Topics like negations and proofs seem interesting to me. I really look forwards to the upcoming classes.