Venn Diagrams ,  Quantifiers, and Implications

    While I've worked with Venn diagrams before, I've not been exposed to them as much as I feel like I will be this course. Its introduction in CSC165 and STA257 has made me re-evaluate the usefulness of Venn diagrams for more than just grade school material. I've brushed up using a couple youtube videos and wiki on its uses for more advanced topics.
     The only area I felt a little uncomfortable over the first two weeks was about the empty set, and proving statements about the empty set. It didn't make sense intuitively that one can claim anything about the empty set and have it be true. However, with the acceptance of needing a counter example to disprove universal claims, I've come to accept, and embrace the fact that the claim "All unicorns are blue and purple with shiny eyes" is logically true.
    I felt Danny did a great job in explaining implications, in that the best way for me to understand them and convert english to symbolic is to think about when certain statements will be false and work from there. I wish he had expanded on Truth tables as opposed to Venn diagrams when looking at whether /\ and => can be used in an equivalent manner. I found the difference much easier to grasp using truth tables than venn diagrams, but I suppose others might find Venn diagrams easier.